The logic of fractional parts of real numbers

DOI10.1016/J.CRMA.2016.04.009zbMath1434.03089OpenAlexW2411345296MaRDI QIDQ292505

Françoise Point, Luc Bélair

Publication date: 8 June 2016

Published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.crma.2016.04.009

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Fractional parts of dense additive subgroups of real numbers

Cites Work

• Quantifier elimination for lexicographic products of ordered abelian groups
• First order theory of cyclically ordered groups
• Totally ordered commutative semigroups
• On cyclically ordered groups

This page was built for publication: The logic of fractional parts of real numbers