A Dedekind-style axiomatization and the corresponding universal property of an ordinal number system
DOI10.1017/jsl.2022.6arXiv2006.12688MaRDI QIDQ6343513
Zurab Janelidze, Ineke van der Berg
Publication date: 22 June 2020
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonclassical and second-order set theories (03E70) Total orders (06A05) Ordinal and cardinal numbers (03E10) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Infinitary algebras (08A65) Connections of number theory and logic (11U99)
This page was built for publication: A Dedekind-style axiomatization and the corresponding universal property of an ordinal number system
