Publications > Preprint server > Preprint Number 1259
Preprint Number 1259
1259. Luc Bélair and Françoise Point Fractional Parts of Dense Additive Subgroups of Real Numbers E-mail: Submission date: 19 July 2017 Abstract: Given a dense additive subgroup G of R containing Z, we consider its intersection G with the interval [0,1[ with the induced order and the group structure given by addition modulo 1. We axiomatize the theory of G and show it is model-complete, using a Feferman-Vaught type argument. We show that any sufficiently saturated model decomposes into a product of a standard part and two ordered semigroups of infinitely small and infinitely large elements. Mathematics Subject Classification: 03C60, 06F05 Keywords and phrases: |
Last updated: March 23 2021 09:20 | Please send your corrections to: |