Expansions of o-minimal structures by dense independent sets

DOI10.1016/J.APAL.2016.04.003MaRDI QIDQ287480zbMATH OpenOpenAlexFDO

Authors Alfred Dolich, Chris Miller, Charles Steinhorn

Publication date 20 May 2016

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2016.04.003

zbMATH Keywords

densely ordered groupeliminate imaginariesindependent predicateo-minimal structuresopen core

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Ordered groups (group-theoretic aspects) (20F60) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Geometric structures with a dense independent subset
• Structure theorems in tame expansions of o-minimal structures by a dense set
• scientific article; zbMATH DE number 1187511
• Expansions of o-minimal structures by sparse sets
• Supersimple structures with a dense independent subset

Cites work

• scientific article; zbMATH DE number 956472 (Why is no real title available?)
• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (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?)
• Additivity of the dp-rank
• Avoiding the projective hierarchy in expansions of the real field by sequences
• Characterizing rosy theories
• Definable Boolean combinations of open sets are Boolean combinations of open definable sets
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Definable Sets in Ordered Structures. III
• Dp-minimality: basic facts and examples
• Elimination of imaginaries in expansions of o-minimal structures by generic sets
• Extensions of ordered theories by generic predicates
• First order topological structures and theories
• Generic structures and simple theories
• Generic trivializations of geometric theories
• Geometric structures with a dense independent subset
• Interpreting the projective hierarchy in expansions of the real line
• On lovely pairs of geometric structures
• On o-minimal expansions of Archimedean ordered groups
• Properties and consequences of Thorn-independence
• Set theory. An introduction to independence proofs
• Strong theories of ordered abelian groups
• Structures having o-minimal open core
• The Undecidability of Algebraic Rings and Fields
• The independence property in generalized dense pairs of structures
• Thorn independence in the field of real numbers with a small multiplicative group
• Weakly o-minimal structures and real closed fields

Cited in

(29)

• Distal and non‐distal behavior in pairs
• Open core and small groups in dense pairs of topological structures
• Bi-colored expansions of geometric theories
• Hamel spaces and distal expansions
• The choice property in tame expansions of o‐minimal structures
• Fields with a dense-codense linearly independent multiplicative subgroup
• Neutrally expandable models of arithmetic
• Supersimple structures with a dense independent subset
• CP‐generic expansions of models of Peano Arithmetic
• Product cones in dense pairs
• Metric dimensions and tameness in expansions of the real field
• Distal and non-distal pairs
• Structure theorems in tame expansions of o-minimal structures by a dense set
• Characterizing o-minimal groups in tame expansions of o-minimal structures
• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• Pairs of theories satisfying a Mordell-Lang condition
• Geometric structures with a dense independent subset
• Wild theories with o-minimal open core
• Orbits of subsets of the monster model and geometric theories
• Small sets in Mann pairs
• Elimination of imaginaries in expansions of o-minimal structures by generic sets
• Expansions of o-minimal structures by sparse sets
• Generic trivializations of geometric theories
• Companionability characterization for the expansion of an o-minimal theory by a dense subgroup
• Expansions of o-minimal structures by iteration sequences
• Dimensions, matroids, and dense pairs of first-order structures
• Pathological examples of structures with o‐minimal open core
• scientific article; zbMATH DE number 7145391 (Why is no real title available?)
• Small sets in dense pairs

This page was built for publication: Expansions of o-minimal structures by dense independent sets

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