Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
From MaRDI portal
Publication:4106173
DOI10.1007/BF02276806zbMath0339.02027OpenAlexW2053548136MaRDI QIDQ4106173
Wilfried Buchholz, Kurt Schütte
Publication date: 1976
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137920
Related Items (9)
Natural well-orderings ⋮ Ordinal arithmetic with simultaneously defined theta-functions ⋮ A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal ⋮ Über Teilsysteme von $$\bar \Theta $$ ({g}) ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal ⋮ Provable wellorderings of formal theories for transfinitely iterated inductive definitions ⋮ Well-ordering proofs for Martin-Löf type theory ⋮ A Glimpse of $$ \sum_{3} $$-elementarity
Cites Work
- Unnamed Item
- Unnamed Item
- Ordinal diagrams
- Consistency proofs of subsystems of classical analysis
- Ein konstruktives system von Ordinalzahlen
- Ein Bezeichnungssystem für Ordinalzahlen
- A simplification of takeuti's ordinal diagrams of finite order
- A characterization of Takeuti's ordinal diagrams of finite order
This page was built for publication: Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
