Pages that link to "Item:Q4106173"
From MaRDI portal
The following pages link to Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ (Q4106173):
Displaying 9 items.
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Ordinal arithmetic with simultaneously defined theta-functions (Q2996224) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- Natural well-orderings (Q3772212) (← links)
- Über Teilsysteme von $$\bar \Theta $$ ({g}) (Q4140960) (← links)
- Provable wellorderings of formal theories for transfinitely iterated inductive definitions (Q4198748) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
