A consistency-proof of a formal theory of Ackermann's ordinal numbers

DOI10.2969/JMSJ/01030287zbMath0103.24602OpenAlexW2019700522MaRDI QIDQ774827

Akiko Kino

Publication date: 1958

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/01030287

zbMATH Keywords

logics, foundations, philosophy

Related Items (1)

Well-Partial Orderings and their Maximal Order Types

This page was built for publication: A consistency-proof of a formal theory of Ackermann's ordinal numbers