Expansions of the reals which do not define the natural numbers

2011/04/09 by Antongiulio Fornasiero, Fornasiero, Antongiulio
Computer Science · Mathematics · #28A78 #54H05 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Metric Geometry (math.MG) #Primary 03C64 #Secondary 12J15 #math.LO #math.MG #msc:03C64 #msc:12J15 #msc:28A78 #msc:54H05

paper · pdf · doi:10.48550/arxiv.1104.1699

16 pages, version 1.9

arxiv created 2011/04/09 · openalex publication_date 2011/04/09 · arxiv updated 2011/04/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• Metric dimensions and tameness in expansions of the real field
• On Tameness, Measurability and the Independence Property
• Remarks on expansions of the real field: tameness, Hardy fields and smooth rings
• Axioms for the Real Numbers: A Constructive Approach
• An Unusual Proof that the Reals are Uncountable