A characterization of Takeuti's ordinal diagrams of finite order

DOI10.1007/BF01974151zbMath0244.02011MaRDI QIDQ5655349

Kurt Schütte, Hilbert Levitz

Publication date: 1971

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137851

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items

Natural well-orderings ⋮ Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ ⋮ Theory of proofs (arithmetic and analysis)

Cites Work

• Unnamed Item
• Unnamed Item
• On the fundamental conjecture of \(GLC\). V
• Ordinal diagrams
• Ordinal diagrams. II
• On ordinal diagrams
• Consistency proofs of subsystems of classical analysis
• An extension of Schütte's Klammersymbole
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• On the fundamental conjecture of GLC, VI
• Ein konstruktives system von Ordinalzahlen
• Ein Bezeichnungssystem für Ordinalzahlen
• A simplification of takeuti's ordinal diagrams of finite order