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

DOI10.2307/2274350zbMATH Open0636.03051OpenAlexW4252951476MaRDI QIDQ3775552FDOQ3775552

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

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}\)

zbMATH Keywords

ordinal notationsordinal diagrams

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cited In (4)

• A new system of proof-theoretic ordinal functions
• Generalizations of the Kruskal-Friedman theorems
• Meeting of the Association for Symbolic Logic
• Note on a proof of the extended Kirby-Paris theorem on labelled finite trees

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)