The following pages link to (Q3895467):
Displayed 8 items.
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- A constructive consistency proof of a fragment of set theory (Q1080422) (← links)
- Beweistheoretische Abgrenzung von Teilsystemen der Analysis (Q1139586) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe (Q5013908) (← links)
- RELATIVIZING OPERATIONAL SET THEORY (Q5346703) (← links)