A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams
From MaRDI portal
Publication:3775552
DOI10.2307/2274350zbMath0636.03051OpenAlexW4252951476MaRDI QIDQ3775552
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
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