A metamathematical theorem on the theory of ordinal numbers
From MaRDI portal
Publication:2650283
DOI10.2969/jmsj/00420146zbMath0048.03601OpenAlexW1999149703MaRDI QIDQ2650283
Publication date: 1952
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/00420146
Related Items (2)
Recursive categoricity and recursive stability ⋮ On definability of ordinals in logic with infinitely long expressions
This page was built for publication: A metamathematical theorem on the theory of ordinal numbers