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

DOI10.2307/2274350zbMath0636.03051OpenAlexW4252951476MaRDI QIDQ3775552

Mitsuhiro Okada

Publication date: 1987

Published in: The 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)

Related Items

Note on a proof of the extended Kirby-Paris theorem on labelled finite trees ⋮ Generalizations of the Kruskal-Friedman theorems ⋮ Meeting of the Association for Symbolic Logic