The following pages link to (Q4109654):
Displaying 24 items.
- Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- A constructive consistency proof of a fragment of set theory (Q1080422) (← links)
- Ordinal notations based on a hierarchy of inaccessible cardinals (Q1109768) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
- Wellfoundedness proof with the maximal distinguished set (Q2700827) (← links)
- How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems (Q3195714) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system (Q3335775) (← links)
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955) (← links)
- Einführung der NormalfunktionenΘ a ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung (Q4105653) (← links)
- Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ (Q4106173) (← links)
- Über Teilsysteme von $$\bar \Theta $$ ({g}) (Q4140960) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion (Q5013914) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
