Short definitions of the ordinals
In this paper, a simple inductive characterization of the ordinal numbers is stated and developed. The characterization forms the basis for a set of axioms for ordinal theory and also for several short explicit definitions of the ordinals. The axioms are shown to be sufficient for ordinal theory, and, subject to suitable existence assumptions, each of the definitions is shown to imply the axioms.The present results apply to the familiar von Neumann version of the ordinals, but the methods used are easily adapted to other versions.
2014 ◽
Vol 366
(8)
◽
pp. 4151-4171
◽
2016 ◽
Vol 494
◽
pp. 236-244
◽
1969 ◽
Vol 21
◽
pp. 865-875
◽
Keyword(s):
2010 ◽
Vol 140
(5)
◽
pp. 927-951
◽
2013 ◽
Vol 438
(1)
◽
pp. 533-548
◽
2009 ◽
Vol 243
(1)
◽
pp. 181-199
◽