The following pages link to (Q4934564):
Displaying 32 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- A decidable theory of type assignment (Q365669) (← links)
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Reduction of higher type levels by means of an ordinal analysis of finite terms (Q759749) (← links)
- The strength of extensionality. I: Weak weak set theories with infinity (Q1006617) (← links)
- A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems (Q1300010) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM (Q2388437) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Characterizations of ordinal analysis (Q2683775) (← links)
- Sub-computabilities (Q3088295) (← links)
- Program Size Complexity of Correction Grammars in the Ershov Hierarchy (Q3188262) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Ordinal diagrams for Π<sub>3</sub>-reflection (Q4527929) (← links)
- From Kruskal’s theorem to Friedman’s gap condition (Q4988429) (← links)
- … and so on: Schütte on Naming Ordinals (Q5013893) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Normal forms for elementary patterns (Q5388725) (← links)
- A note on Bar Induction in Constructive Set Theory (Q5485398) (← links)
- Locally hyperarithmetical induction (Q6096755) (← links)
- Functorial Fast-Growing Hierarchies (Q6148467) (← links)
- The Π21$\Pi ^1_2$ consequences of a theory (Q6176438) (← links)
- Witnessing flows in arithmetic (Q6646013) (← links)
