Pages that link to "Item:Q2500821"
From MaRDI portal
The following pages link to Theories and ordinals in proof theory (Q2500821):
Displaying 12 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- (Q4793023) (← links)
- … and so on: Schütte on Naming Ordinals (Q5013893) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection (Q5361255) (← links)
- The theory of ordinal length (Q5962893) (← links)
- Predicative Aspects of Order Theory in Univalent Foundations (Q6159924) (← links)
- Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal (Q6560988) (← links)
