Expansions which introduce no new open sets

DOI10.2178/JSL/1327068694MaRDI QIDQ5388721zbMATH OpenOpenAlexFDO

Authors Gareth Boxall, Philipp Hieronymi

Publication date 19 April 2012

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1002.3762, https://projecteuclid.org/euclid.jsl/1327068694

zbMATH Keywords

dense pairsgeneric predicatesgeometric structureslovely pairstopological structures

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Abstract: We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of Dolich, Miller and Steinhorn on the property of having o-minimal open core. We answer the question in a fairly general setting and provide conditions which in practice are often easy to check. We give a further characterisation in the special case of an expansion by a generic predicate.

Recommendations

• scientific article; zbMATH DE number 1444018
• Structures having o-minimal open core
• Expansions of o-minimal structures by sparse sets
• Open core and small groups in dense pairs of topological structures
• Locally o-minimal structures and structures with locally o-minimal open core

Cites work

• A geometric introduction to forking and thorn-forking
• Characterizing rosy theories
• Dimension of definable sets, algebraic boundedness and Henselian fields
• First order topological structures and theories
• Generic structures and simple theories
• Groups definable in local fields and pseudo-finite fields
• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• scientific article; zbMATH DE number 1444018 (Why is no real title available?)
• scientific article; zbMATH DE number 2222021 (Why is no real title available?)
• On lovely pairs of geometric structures
• Properties and consequences of Thorn-independence
• Structures having o-minimal open core
• The field of reals with a predicate for the powers of two
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• The independence property in generalized dense pairs of structures
• The model theory of the field of reals with a subgroup of the unit circle
• The real field with the rational points of an elliptic curve
• Thorn independence in the field of real numbers with a small multiplicative group

Cited in

(19)

• Tychonoff expansions in which a given set is open
• Wild theories with o-minimal open core
• Open core and small groups in dense pairs of topological structures
• Topological fields with a generic derivation
• Definable groups in dense pairs of geometric structures
• Expansions of real closed fields that introduce no new smooth functions
• Structure theorems in tame expansions of o-minimal structures by a dense set
• On expansions of the real field by complex subgroups
• scientific article; zbMATH DE number 1444018 (Why is no real title available?)
• Pairs of theories satisfying a Mordell-Lang condition
• Generic derivations on o-minimal structures
• A theory of pairs for non-valuational structures
• Extensions of ordered theories by generic predicates
• Characterizing o-minimal groups in tame expansions of o-minimal structures
• Pathological examples of structures with o‐minimal open core
• Product cones in dense pairs
• Dimensions, matroids, and dense pairs of first-order structures
• Constructible structures and constructible open cores
• Green points in the reals

This page was built for publication: Expansions which introduce no new open sets

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