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

DOI10.1007/BF02007261MaRDI QIDQ4140960zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und \bar \Theta \left( \omega \right)
• Ein Bezeichnungssystem für Ordinalzahlen
• scientific article; zbMATH DE number 3532926 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• On ordinal diagrams
• Ordinals connected with formal theories for transfinitely iterated inductive definitions
• Vergleich zweier Bezeichnungssysteme für Ordinalzahlen

Cited in

(4)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4140960)