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

Abstract: Let WO

(o m e g a^{o} m e g a)

be the statement that the ordinal number

o m e g a^{o} m e g a

is well ordered. WO

(o m e g a^{o} m e g a)

has occurred several times in the reverse-mathematical literature. The purpose of this expository note is to discuss the place of WO

(o m e g a^{o} m e g a)

within the standard hierarchy of subsystems of second-order arithmetic. We prove that WO

(o m e g a^{o} m e g a)

is implied by I

S i g m a_{2}^{0}

and independent of B

S i g m a_{2}^{0}

. We also prove that WO

(o m e g a^{o} m e g a)

and B

S i g m a_{2}^{0}

together do not imply I

S i g m a_{2}^{0}

.

This page was built for publication: Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction