Constructive Ordinal Notation Systems

DOI10.2307/2689658MaRDI QIDQ3222840zbMATH OpenOpenAlexFDO

Authors Frederick S. Gass

Publication date 1984

Full work available at URL https://doi.org/10.2307/2689658

zbMATH Keywords

algorithmGödel numberingordinal notationsrecursive ordinalssurveyTuring machine

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Computability and recursion theory (03D99) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Natural well-orderings
• scientific article; zbMATH DE number 1390279
• A comparison of two systems of ordinal notations
• A new system of proof-theoretic ordinal functions
• Ordinal notations based on a hierarchy of inaccessible cardinals

Cited in

(6)

• A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)
• scientific article; zbMATH DE number 4012597 (Why is no real title available?)
• Natural well-orderings
• scientific article; zbMATH DE number 1420856 (Why is no real title available?)
• … and so on: Schütte on Naming Ordinals
• Constructive Theory of Ordinals

This page was built for publication: Constructive Ordinal Notation Systems

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