A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM

DOI10.1017/jsl.2022.6OpenAlexW4220881859MaRDI QIDQ5052006

Zurab Janelidze, Ineke van der Berg

Publication date: 18 November 2022

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

Full work available at URL: https://arxiv.org/abs/2006.12688

zbMATH Keywords

classGrothendieck universeuniversal propertysuccessor functionwell-ordered setordinal numberlimit functioninitial objectDedekind-Peano axiomsspecialization preordercounting systemordinal number system

Mathematics Subject Classification ID

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)

Cites Work

• Set theory. An introduction to independence proofs
• Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
• The axiomatization of arithmetic
• Set Theory
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Des catégories abéliennes
• Unnamed Item
• Unnamed Item
• Unnamed Item