Pages that link to "Item:Q4292603"

The following pages link to Definable types in -minimal theories (Q4292603):

Displaying 35 items.

• Structures associated with real closed fields and the axiom of choice (Q330194) (← links)
• 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)
• On uniform definability of types over finite sets (Q2892672) (← links)
• Krull dimension of types in a class of first-order theories (Q3008277) (← 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)
• Some remarks on definable equivalence relations in O-minimal structures (Q3768884) (← links)
• Stability theory, permutations of indiscernibles, and embedded finite models (Q4505906) (← links)
• ON LINEARLY ORDERED STRUCTURES OF FINITE RANK (Q4933186) (← links)
• (Q4986954) (← 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)