A formalization of the theory of ordinal numbers

DOI10.2307/2269620zbMath0147.26102OpenAlexW2152822550WikidataQ126372060 ScholiaQ126372060MaRDI QIDQ5525369

Gaisi Takeuti

Publication date: 1965

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269620

zbMATH Keywords

set theory

Related Items (4)

Two First-Order Theories of Ordinals ⋮ Proof theory for theories of ordinals. I: Recursively Mahlo ordinals ⋮ The Role of True Finiteness in the Admissible Recursively Enumerable Degrees ⋮ THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES

Cites Work

• Construction of the set theory from the theory of ordinal numbers
• On the theory of ordinal numbers
• On the theory of ordinal numbers. II
• On the recursive functions of ordinal numbers
• On hierarchies of predicates of ordinal numbers

This page was built for publication: A formalization of the theory of ordinal numbers