Pages that link to "Item:Q1344279"
From MaRDI portal
The following pages link to Elementary descent recursion and proof theory (Q1344279):
Displaying 16 items.
- Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal (Q408160) (← links)
- Phase transitions for Gödel incompleteness (Q1006619) (← links)
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- (Q2776806) (← links)
- Sub-computabilities (Q3088295) (← links)
- Classifying the Provably Total Functions of PA (Q3430936) (← links)
- Variations on a theme by Weiermann (Q4227873) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- An application of graphical enumeration to PA * (Q4457723) (← links)
- How to characterize provably total functions by local predicativity (Q4879900) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- Long finite sequences (Q5940305) (← links)
