Pages that link to "Item:Q2309490"
From MaRDI portal
The following pages link to Ordinal analyses for monotone and cofinal transfinite inductions (Q2309490):
Displaying 6 items.
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- Transversals for ordinal intervals (Q1095907) (← links)
- Transfinite induction within Peano arithmetic (Q1919522) (← links)
- Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)