English

Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction

Logic 2015-08-12 v1

Abstract

Let WO(ωω)(\omega^\omega) be the statement that the ordinal number ωω\omega^\omega is well ordered. WO(ωω)(\omega^\omega) has occurred several times in the reverse-mathematical literature. The purpose of this expository note is to discuss the place of WO(ωω)(\omega^\omega) within the standard hierarchy of subsystems of second-order arithmetic. We prove that WO(ωω)(\omega^\omega) is implied by IΣ20\Sigma^0_2 and independent of BΣ20\Sigma^0_2. We also prove that WO(ωω)(\omega^\omega) and BΣ20\Sigma^0_2 together do not imply IΣ20\Sigma^0_2.

Cite

@article{arxiv.1508.02655,
  title  = {Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction},
  author = {Stephen G. Simpson},
  journal= {arXiv preprint arXiv:1508.02655},
  year   = {2015}
}

Comments

6 pages

R2 v1 2026-06-22T10:31:18.457Z