Strength of Szemerédi's Theorem

At least 26 years old · documented by

Is Szemerédi's theorem provable in ACA0\mathsf{ACA}_0? More generally, determine its reverse-mathematical strength.

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.