Über Teilsysteme von $$\bar \Theta $$ ({g})

DOI10.1007/BF02007261zbMath0366.02017OpenAlexW1844537623MaRDI QIDQ4140960

Wilfried Buchholz

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/137931

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10)

Related Items (4)

Eine Variante Des OrdinalzahlbezeichnungssystemsΣ ⋮ Beweistheoretische Abgrenzung von Teilsystemen der Analysis ⋮ Natural well-orderings ⋮ Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1

Cites Work

• Unnamed Item
• Unnamed Item
• On ordinal diagrams
• Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
• Ordinals connected with formal theories for transfinitely iterated inductive definitions
• Vergleich zweier Bezeichnungssysteme für Ordinalzahlen
• Ein Bezeichnungssystem für Ordinalzahlen

This page was built for publication: Über Teilsysteme von $$\bar \Theta $$ ({g})