Pages that link to "Item:Q1295413"
From MaRDI portal
The following pages link to Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413):
Displaying 12 items.
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Quick cut-elimination for strictly positive cuts (Q639680) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- Derivatives of normal functions and \(\omega \)-models (Q1661685) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Proof-theoretic strengths of the well-ordering principles (Q2309489) (← links)
- Some interesting connections between the slow growing hierarchy and the Ackermann function (Q2747706) (← links)
- On the Computational Content of Termination Proofs (Q3195706) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
- Derivation lengths and order types of Knuth--Bendix orders (Q5958622) (← links)
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic (Q6178470) (← links)
