The field of reals with a predicate for the powers of two

@article{Dries1985TheFO,
  title={The field of reals with a predicate for the powers of two},
  author={L. Dries},
  journal={manuscripta mathematica},
  year={1985},
  volume={54},
  pages={187-195}
}
  • L. Dries
  • Published 1985
  • Mathematics
  • manuscripta mathematica
61 Citations
Combinatorial and number-theoretic properties of generic reals
Generalizing a theorem of B\`{e}s and Choffrut
Model theory of the field of $p$-adic numbers expanded by a multiplicative subgroup
THE FIELD OF p-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER
The first order theory of a dense pair and a discrete group
B-Minimality
ON THE EXPANSION (N,+, 2) OF PRESBURGER ARITHMETIC
Quantifier Elimination and Real Closed Ordered Fields with a Predicate for the Powers of Two
Expansions of the p-adic numbers that interpret the ring of integers
...
1
2
3
4
5
...

References

SHOWING 1-3 OF 3 REFERENCES
Algebraic Theories with Definable Skolem Functions
  • L. Dries
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1984
Lectures On Formally Real Fields