The following pages link to (Q3041187):
Displaying 20 items.
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- Simplified collapsing functions and their applications (Q687397) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Ordinal notations based on a hierarchy of inaccessible cardinals (Q1109768) (← links)
- Monotone inductive definitions in a constructive theory of functions and classes (Q1115865) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- The strength of some Martin-Löf type theories (Q1344548) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- A theory of rules for enumerated classes of functions (Q1805407) (← links)
- Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers) (Q1825868) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- RELATIVIZING OPERATIONAL SET THEORY (Q5346703) (← links)
