|Title:||An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures||Journal:||WSEAS Transactions on Mathematics||Volume:||7||Issue:||2||First page:||39||Last page:||47||Issue Date:||1-Feb-2008||Rank:||M52||ISSN:||1109-2769||Abstract:||
We have chosen the language Lω1ω1, in which to formulate the axioms of two systems of the linear Archimedean continua - the point-based system, Sp, and the stretch-based system, SI - for the following reasons: 1. It enables us to formulate all the axioms of each system in one and the same language; 2. It makes it possible to apply, without any modification, Arsenijević's two sets of rules for translating formulas of each of these systems into formulas of the other, in spite of the fact that these rules were originally formulated in a first-order language for systems that are not continuous but dense only; 3. It enables us to speak about an infinite number of elements of a continuous structure by mentioning explicitly only denumerably many of them; 4. In this way we can formulate not only Cantor's coherence condition for linear continuity but also express the large-scale and small-scale variants of the Archimedean axiom without any reference, either explicit or implicit, to a metric; 5. The models of the two axiom systems are structures that need not be relational-operational but only relational, which means that we can speak of the linear geometric continua directly and not only via the field of real numbers (numbers will occur as subscripts only, and they will be limited to the natural numbers).
|Keywords:||Archimedean axiom | L_omega_1/omega_1 | Linear continuum | Point-based | Stretch-based axiomatization | Trivial difference||Publisher:||WSEAS Press|
Show full item record
checked on Dec 8, 2023
checked on Dec 7, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.