Expansions of the reals which do not define the natural numbers

Abstract

We study first-order expansions of the reals which do not define the set of natural numbers. We also show that several stronger notions of tameness are equivalent to each others.

arXiv comment16 pages, version 1.9

Cited by in corpus (1)

• Interpreting the monadic second order theory of one successor in expansions of the real line