Pages that link to "Item:Q1777268"

The following pages link to An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268):

Displaying 21 items.

• Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
• The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804) (← links)
• Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
• An ordinal analysis of stability (Q1765099) (← links)
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
• Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
• Introduction to \(\Pi^1_2\)-logic (Q2565874) (← links)
• Wellfoundedness proof with the maximal distinguished set (Q2700827) (← links)
• Weak systems of determinacy and arithmetical quasi-inductive definitions (Q3011112) (← links)
• How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems (Q3195714) (← links)
• Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
• From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
• On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
• (Q3800031) (← links)
• A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
• THE ORDER OF REFLECTION (Q5021928) (← links)
• Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
• Strong unfoldability, shrewdness and combinatorial consequences (Q5086945) (← links)
• Structural reflection, shrewd cardinals and the size of the continuum (Q5094532) (← links)
• WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
• Iterated Inductive Definitions Revisited (Q5214787) (← links)