Pages that link to "Item:Q1868167"
From MaRDI portal
The following pages link to Mathematical proof theory in the light of ordinal analysis (Q1868167):
Displaying 10 items.
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- On computer-assisted proofs in ordinal number theory (Q1284712) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- Proof theory. An introduction (Q1801306) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- (Q4793023) (← links)
- Hilbert’s Programme and Ordinal Analysis (Q5221861) (← links)
- Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection (Q5361255) (← links)