scientific article; zbMATH DE number 4134035

MaRDI QIDQ3035277zbMATH OpenFDO

Authors Thomas Ehring

Publication date 1990

zbMATH Keywords

Aczel- Feferman functionsJäger system TMahlo cardinalsprimitive recursive ordinal notation system

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
• scientific article; zbMATH DE number 510775
• Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
• 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)
• A new system of proof-theoretic ordinal functions

Cited in

(4)

• Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
• 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)
• Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
• scientific article; zbMATH DE number 1910402 (Why is no real title available?)

This page was built for publication:

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