Pages that link to "Item:Q4198748"
From MaRDI portal
The following pages link to Provable wellorderings of formal theories for transfinitely iterated inductive definitions (Q4198748):
Displayed 10 items.
- 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)
- 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)
- 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)