Pages that link to "Item:Q4292603"
From MaRDI portal
The following pages link to Definable types in -minimal theories (Q4292603):
Displayed 30 items.
- Topological dynamics for groups definable in real closed field (Q487688) (← links)
- Definable types in the theory of closed ordered differential fields (Q512139) (← links)
- The theorem of the complement for nested sub-Pfaffian sets (Q605912) (← links)
- Pseudo completions and completions in stages of o-minimal structures (Q862350) (← links)
- On minimal flows, definably amenable groups, and o-minimality (Q908071) (← links)
- Volumes, Rolle leaves of analytic foliations and Wilkie's theorem (Q1273828) (← links)
- Saturation and stability in the theory of computation over the reals (Q1304539) (← links)
- Analytic stratification in the Pfaffian closure of an \(o\)-minimal structure (Q1572887) (← links)
- Definability of types and VC density in differential topological fields (Q1756490) (← links)
- The membership problem for finitely generated quadratic modules in the univariate case (Q1934974) (← links)
- Hausdorff limits of Rolle leaves (Q1940348) (← links)
- Quantifier elimination for o-minimal structures expanded by a valuational cut (Q2105097) (← links)
- The Marker-Steinhorn theorem via definable linear orders (Q2295740) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- Definable functions continuous on curves in o-minimal structures (Q2349105) (← links)
- Topological groups, \(\mu\)-types and their stabilizers (Q2408257) (← links)
- Definable types in algebraically closed valued fields (Q2793905) (← links)
- Generically stable and smooth measures in NIP theories (Q2838068) (← links)
- Directed sets and topological spaces definable in o‐minimal structures (Q3384030) (← links)
- 2009 North American Annual Meeting of the Association for Symbolic Logic (Q3655269) (← links)
- Stability theory, permutations of indiscernibles, and embedded finite models (Q4505906) (← links)
- ON LINEARLY ORDERED STRUCTURES OF FINITE RANK (Q4933186) (← links)
- Pro-definability of spaces of definable types (Q4994917) (← links)
- Externally definable quotients and NIP expansions of the real ordered additive group (Q5036091) (← links)
- Cohomology of algebraic varieties over non-archimedean fields (Q5044388) (← links)
- Some model theory of SL(2,R) (Q5177544) (← links)
- STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS (Q5195059) (← links)
- Externally definable sets and dependent pairs II (Q5247033) (← links)
- On minimal flows and definable amenability in some distal NIP theories (Q6040619) (← links)
- Some definable types that cannot be amalgamated (Q6096715) (← links)