arXiv:1104.1699 [math.LO]AbstractReferencesReviewsResources
Expansions of the reals which do not define the natural numbers
Published 2011-04-09Version 1
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.
Comments: 16 pages, version 1.9
Related articles: Most relevant | Search more
arXiv:1701.01387 [math.LO] (Published 2017-01-05)
Stability and sparsity in sets of natural numbers
arXiv:1206.3920 [math.LO] (Published 2012-06-18)
The problem of Horn and Tarski
arXiv:math/0404205 [math.LO] (Published 2004-04-09)
FPL may be equivalent to FO but not equivalent to PFP