Constructive Ordinal Notation Systems

DOI10.2307/2689658zbMATH Open0558.03028OpenAlexW4240625841MaRDI QIDQ3222840FDOQ3222840

Authors: Frederick S. Gass 

Publication date: 1984

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• Constructive Theory of Ordinals
• Title not available (Why is that?)
• Natural well-orderings
• A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)

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)