Universally extending arithmetic continua
[For the entire collection see Zbl 0758.00020.] Novel (categorical) axiomatizations of the ordered field of reals are provided making use of the Archimedean axiom in conjunction with heretofore unnoticed continuity axioms based on concepts adapted from the theory of homogeneous universal models, and the closely related theory of real-closed fields that are \(\eta_ \alpha\)-orderings. We believe we are justified in referring to these axioms as continuity axioms since in the context of these axiomatizations they are equivalent to any of the more familiar continuity conditions including, for example, those due to Cantor, Dedekind and Hilbert. Working in von Neumann-Barnays-Gödel set theory with global choice, henceforth NBG, we further show that if the Archimedean axiom is deleted from the aforementioned axiomatizations one obtains (categorical) axiomatizations of J. H. Conway's ordered field \(N_ o\). It is the author's contention that these results lend support to the thesis that whereas the real number system should merely be regarded as constituting an Archimedean arithmetic continuum. \(N_ o\) may be regarded as an absolute arithmetic continuum (modulo NGB). A natural generalization of the classical notion of a gap is introduced and additional support for the thesis is provided in the form of a theorem which intuitively asserts that whereas \(\mathbb{R}\) is (up to isomorphism) the unique real-closed ordered field having no gaps modulo the Archimedean condition, \(N_ o\) is (up to isomorphism) the unique real-closed ordered field having no gaps that are definable in terms of sets of NBG! Analogues of a number of the results for \(\mathbb{R}\) and \(N_ o\) considered as ordered fields are also obtained for their structures as ordered groups, thereby laying the groundwork for a comparative theory of ideally exact Archimedean and non-Archimedean extensive magnitude.
- Die Unabhängigkeit des archimedischen Axioms vom starken Intervallschachtelungsaxiom
- Ordered fields and the axiom of continuity. II
- Extendible Sets in Peano Arithmetic
- Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers. II
- scientific article; zbMATH DE number 2183394 (Why is no real title available?)
- scientific article; zbMATH DE number 7343559 (Why is no real title available?)
- Zur Axiomatik der ganzen und der reellen Zahlen
This page was built for publication: Universally extending arithmetic continua
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037516)
