Expansions of subfields of the real field by a discrete set

DOI10.4064/FM215-2-4zbMATH Open1270.03059arXiv1012.3508OpenAlexW2964087463MaRDI QIDQ3098908FDOQ3098908

Philipp Hieronymi

Publication date: 18 November 2011

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Abstract: Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K expanded by predicates for different cyclic multiplicative subgroups defines the set of integers. Moreover, we prove that every definably complete expansion of a subfield of the real field satisfies an analogue of the Baire Category Theorem.

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

zbMATH Keywords

Baire category theoremreal fielddiscrete setdefinably complete expansioncyclic multiplicative subgroupsdefining the set of integersexpansions of subfields

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10) Baire category, Baire spaces (54E52)

Cited In (11)

• Structure theorems in tame expansions of o-minimal structures by a dense set
• A dichotomy for expansions of the real field
• D-minimal expansions of the real field have the zero set property
• Expansions of real closed fields with the Banach fixed point property
• Expansions of the Real Field by Canonical Products
• A fundamental dichotomy for definably complete expansions of ordered fields
• Metric dimensions and tameness in expansions of the real field
• Interpreting the monadic second order theory of one successor in expansions of the real line
• Product cones in dense pairs
• Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ)
• PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY

This page was built for publication: Expansions of subfields of the real field by a discrete set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3098908)