A Dedekind-Style Axiomatization and the Corresponding Universal Property of an Ordinal Number System

Journal of Symbolic Logic 87 (4):1396-1418 (2022)
  Copy   BIBTEX

Abstract

In this paper, we give an axiomatization of the ordinal number system, in the style of Dedekind’s axiomatization of the natural number system. The latter is based on a structure $(N,0,s)$ consisting of a set N, a distinguished element $0\in N$ and a function $s\colon N\to N$. The structure in our axiomatization is a triple $(O,L,s)$, where O is a class, L is a class function defined on all s-closed ‘subsets’ of O, and s is a class function $s\colon O\to O$. In fact, we develop the theory relative to a Grothendieck-style universe (minus the power set axiom), as a way of bringing the natural and the ordinal cases under one framework. We also establish a universal property for the ordinal number system, analogous to the well-known universal property for the natural number system.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On series of ordinals and combinatorics.James P. Jones, Hilbert Levitz & Warren D. Nichols - 1997 - Mathematical Logic Quarterly 43 (1):121-133.
Reverse mathematics and Peano categoricity.Stephen G. Simpson & Keita Yokoyama - 2013 - Annals of Pure and Applied Logic 164 (3):284-293.
Inner models and large cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.
Broad Infinity and Generation Principles.Paul Blain Levy - 2025 - Notre Dame Journal of Formal Logic -1:1-63.
Boundedly finite-to-one functions.Xiao Hu & Guozhen Shen - forthcoming - Logic Journal of the IGPL.
Lindenbaum's extensions.Andrzej Biela & Teodor Stepien - 1981 - Bulletin of the Section of Logic 10 (1):42-46.
A flexible type system for the small Veblen ordinal.Florian Ranzi & Thomas Strahm - 2019 - Archive for Mathematical Logic 58 (5-6):711-751.
On the Slowly Well Orderedness of ɛo.Toshiyasu Arai - 2002 - Mathematical Logic Quarterly 48 (1):125-130.
Reals n-Generic Relative to Some Perfect Tree.Bernard A. Anderson - 2008 - Journal of Symbolic Logic 73 (2):401 - 411.

Analytics

Added to PP
2022-04-08

Downloads
11 (#1,428,354)

6 months
4 (#1,272,377)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references