A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams

DOI10.2307/2274350MaRDI QIDQ3775552zbMATH OpenOpenAlexFDO

Authors Mitsuhiro Okada

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

ordinal notationsordinal diagrams

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• A new system of proof-theoretic ordinal functions
• How to compare Buchholz-style ordinal notation systems with Gordeev-style notation systems
• A comparison of two systems of ordinal notations
• scientific article; zbMATH DE number 1390279
• A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)

Cited in

(5)

• Meeting of the Association for Symbolic Logic
• Note on a proof of the extended Kirby-Paris theorem on labelled finite trees
• Generalizations of the Kruskal-Friedman theorems
• A new system of proof-theoretic ordinal functions
• How to compare Buchholz-style ordinal notation systems with Gordeev-style notation systems

This page was built for publication: A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams

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