An accessibility proof of ordinal diagrams

DOI10.2969/JMSJ/03310001zbMath0472.03045OpenAlexW2079568029MaRDI QIDQ1158149

Gaisi Takeuti, Mariko Yasugi

Publication date: 1981

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/03310001

zbMATH Keywords

strong accessibilityfundamental sequence

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items (3)

The machinery of consistency proofs ⋮ Some properties of ordinal diagrams ⋮ ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment

This page was built for publication: An accessibility proof of ordinal diagrams