Pages that link to "Item:Q3942955"

The following pages link to Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955):

Displayed 7 items.

• Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) ‎ (← links)
• Ordinal analysis by transformations (Q1006618) ‎ (← links)
• Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) ‎ (← links)
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) ‎ (← links)
• From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) ‎ (← links)
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen (Q3968911) ‎ (← links)
• Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) ‎ (← links)