Expansions of the p‐adic numbers that interpret the ring of integers

DOI10.1002/malq.201900040OpenAlexW3011657022MaRDI QIDQ5112392

Nathanaël Mariaule

Publication date: 29 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• The field of reals with a predicate for the powers of two
• Externally definable sets and dependent pairs
• Unit Equations in Diophantine Number Theory
• The model theory of the field of reals with a subgroup of the unit circle
• Defining the set of integers in expansions of the real field by a closed discrete set
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• On linear relations between roots of unity
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor