Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction
Logic
2015-08-12 v1
Abstract
Let WO be the statement that the ordinal number is well ordered. WO has occurred several times in the reverse-mathematical literature. The purpose of this expository note is to discuss the place of WO within the standard hierarchy of subsystems of second-order arithmetic. We prove that WO is implied by I and independent of B. We also prove that WO and B together do not imply I.
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