Definable types in -minimal theories
From MaRDI portal
Publication:4292603
Recommendations
Cites work
Cited in
(48)- Volumes, Rolle leaves of analytic foliations and Wilkie's theorem
- Saturation and stability in the theory of computation over the reals
- Analytic stratification in the Pfaffian closure of an o-minimal structure
- Definability of types and VC density in differential topological fields
- The membership problem for finitely generated quadratic modules in the univariate case
- Hausdorff limits of Rolle leaves
- Quantifier elimination for o-minimal structures expanded by a valuational cut
- The Marker-Steinhorn theorem via definable linear orders
- A.D. Taimanov and model theory in Kazakhstan
- Definable functions continuous on curves in o-minimal structures
- Topological groups, \(\mu\)-types and their stabilizers
- Definable types in algebraically closed valued fields
- Generically stable and smooth measures in NIP theories
- On uniform definability of types over finite sets
- Krull dimension of types in a class of first-order theories
- Definability of 1-types in weakly o-minimal theories
- Structures associated with real closed fields and the axiom of choice
- Model completeness of o-minimal structures expanded by Dedekind cuts
- Directed sets and topological spaces definable in o-minimal structures
- 2009 North American Annual Meeting of the Association for Symbolic Logic
- Omitting types in -minimal theories
- On Dedekind complete o-minimal structures
- Some remarks on definable equivalence relations in O-minimal structures
- Dedekind Completeness and the Algebraic Complexity of o-Minimal Structures
- Definability of types, and pairs of O-minimal structures
- Stability theory, permutations of indiscernibles, and embedded finite models
- Topological dynamics for groups definable in real closed field
- On linearly ordered structures of finite rank
- scientific article; zbMATH DE number 7340864 (Why is no real title available?)
- Pro-definability of spaces of definable types
- Externally definable quotients and NIP expansions of the real ordered additive group
- Cohomology of algebraic varieties over non-Archimedean fields
- Definable types in the theory of closed ordered differential fields
- Some model theory of SL(2,R)
- Strong density of definable types and closed ordered differential fields
- Externally definable sets and dependent pairs. II
- Valuation theoretic content of the Marker-Steinhorn theorem
- On minimal flows and definable amenability in some distal NIP theories
- The theorem of the complement for nested sub-Pfaffian sets
- Some definable types that cannot be amalgamated
- dp and other minimalities
- Essential kinds of 1-types over sets of models of weakly o-minimal theories
- The Marker-Steinhorn theorem
- Weak heirs, coheirs, and the Ellis semigroups
- Definable compactness in o-minimal structures
- Beautiful pairs
- Pseudo completions and completions in stages of o-minimal structures
- On minimal flows, definably amenable groups, and o-minimality
This page was built for publication: Definable types in -minimal theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4292603)
