Eine Erweiterung T(V') des Ordinalzahlensystems C_( _ 0) von G. Jäger. (An extension T(V') of the ordinal system C_( _ 0) by G. Jäger)
From MaRDI portal
Publication:1102955
Recommendations
- Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
- A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
- scientific article; zbMATH DE number 510775
- Publication:3035277
- A new system of proof-theoretic ordinal functions
Cites work
- Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
- Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
- Set theory. An introduction to large cardinals
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
Cited in
(8)- Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
- A flexible type system for the small Veblen ordinal
- Ordinal notations based on a weakly Mahlo cardinal
- Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
- scientific article; zbMATH DE number 4134035 (Why is no real title available?)
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
- scientific article; zbMATH DE number 3914318 (Why is no real title available?)
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)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102955)
