Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger)

DOI10.1007/BF01625837zbMath0645.03054MaRDI QIDQ1102955

Kurt Schütte

Publication date: 1988

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

ordinal notationswell-orderinghierarchy of Veblen-functions for inaccessible ordinals

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (2)

Ordinal notations based on a weakly Mahlo cardinal ⋮ Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees

Cites Work

• Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
• Set theory. An introduction to large cardinals
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
• Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger

This page was built for publication: Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger)