1 problem

0 votes0 replies0 views
The RCA*₀ conservation conjecture for the comparison results
The systems under consideration are the weak Ramsey and Ramsey principles over $\mathsf{RCA^*_0}$ , and the preceding comparison results are not currently known to be provable there…
Conjectureopenreverse-mathematics termination-theorems weak-ramsey-theoryarXiv posted 2 days ago

The RCA*₀ conservation conjecture for the comparison results