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

surveyalgorithmTuring machineordinal notationsrecursive ordinalsGödel numbering

Mathematics Subject Classification ID

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

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

(5)

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

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)