Pages that link to "Item:Q1919522"
From MaRDI portal
The following pages link to Transfinite induction within Peano arithmetic (Q1919522):
Displayed 7 items.
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Transfinite induction within Peano arithmetic (Q1919522) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- More on lower bounds for partitioning \(\alpha\)-large sets (Q2373693) (← links)
- Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)
- Variations on a theme by Weiermann (Q4227873) (← links)
- A Model-Theoretic Approach to Ordinal Analysis (Q4338039) (← links)