Pages that link to "Item:Q4198748"

The following pages link to Provable wellorderings of formal theories for transfinitely iterated inductive definitions (Q4198748):

Displaying 15 items.

• A proof-theoretic account of classical principles of truth (Q385807) (← links)
• A new system of proof-theoretic ordinal functions (Q1109029) (← links)
• Beweistheoretische Abgrenzung von Teilsystemen der Analysis (Q1139586) (← links)
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
• Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
• Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis (Q3039341) (← links)
• Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
• Natural well-orderings (Q3772212) (← links)
• Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955) (← links)
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen (Q3968911) (← links)
• Ordinals connected with formal theories for transfinitely iterated inductive definitions (Q4175275) (← links)
• A well-ordering proof for Feferman's theoryT 0 (Q4749835) (← links)
• Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)
• Iterated Inductive Definitions Revisited (Q5214787) (← links)