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
DOI10.1007/BF01625837zbMATH Open0645.03054MaRDI QIDQ1102955FDOQ1102955
Authors: Kurt Schütte 
Publication date: 1988
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
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
- Set theory. An introduction to large cardinals
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
- Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
- Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
Cited In (8)
- A flexible type system for the small Veblen ordinal
- Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
- Ordinal notations based on a weakly Mahlo cardinal
- Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
- Title not available (Why is that?)
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
- Title not available (Why is that?)
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)
