Ramsey's Theorem for Triples over a Weak Base

At least 3 years old · documented by

Over RCA0∗\mathsf{RCA}^*_0, is Ramsey's theorem for triples equivalent to ACA0\mathsf{ACA}_0, as it is over RCA0\mathsf{RCA}_0?

References

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.