Pages that link to "Item:Q2557248"

The following pages link to Exact estimates of the provability of transfinite induction in the initial segments of arithmetic (Q2557248):

Displaying 2 items.

• Transfinite induction within Peano arithmetic (Q1919522) (← links)
• Ordinal analyses for monotone and cofinal transfinite inductions (Q2309490) (← links)