Publication:5700815

zbMath1081.03037MaRDI QIDQ5700815

Chris Miller

Publication date: 2 November 2005

zbMATH Keywords

first-order definability; field of real numbers; first-order expansion

Mathematics Subject Classification ID

28A05: Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets

54H05: Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)

03C64: Model theory of ordered structures; o-minimality

12L12: Model theory of fields

Related Items

Dimensional coincidence does not imply measure-theoretic tameness, Michael’s Selection Theorem in d-minimal expansions of the real field, D-minimal expansions of the real field have the zero set property, Externally definable quotients and NIP expansions of the real ordered additive group, CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY, Expansions of the Real Field by Canonical Products, Pairs of theories satisfying a Mordell–Lang condition, Metric dimensions and tameness in expansions of the real field, Expansions which introduce no new open sets, NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES, DISTAL AND NON-DISTAL PAIRS, Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ), Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, Decomposition into special submanifolds, Expansions of o-minimal structures by dense independent sets, The asymptotic couple of the field of logarithmic transseries, The set of restricted complex exponents for expansions of the reals, Definably complete structures are not pseudo-enumerable, Dimensions, matroids, and dense pairs of first-order structures, The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two, Cell decomposition and dimension function in the theory of closed ordered differential fields, Interpreting the monadic second order theory of one successor in expansions of the real line, Wild theories with o-minimal open core, How to avoid a compact set, Almost o-minimal structures and \(\mathfrak{X}\)-structures, Expansions of real closed fields that introduce no new smooth functions, Expansions of o-minimal structures by iteration sequences, O-MINIMALISM, Expansions of o-minimal structures on the real field by trajectories of linear vector fields, Defining additive subgroups of the reals from convex subsets, Avoiding the projective hierarchy in expansions of the real field by sequences, Structures having o-minimal open core, Defining the set of integers in expansions of the real field by a closed discrete set