Dependent first order theories, continued
From MaRDI portal
Publication:2655752
Abstract: A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being dependent. Another one justifies the cofinality restriction in the theorem (from a previous work) saying that pairwise perpendicular indiscernible sequences, can have arbitrary dual-cofinalities in some models containing them.
Recommendations
Cites work
- Classification theory and the number of non-isomorphic models.
- Dependent T and existence of limit models
- Dependent theories and the generic pair conjecture
- Finite diagrams stable in power
- scientific article; zbMATH DE number 2113455 (Why is no real title available?)
- Measures and forking
- Minimal bounded index subgroup for dependent theories
- Paires de structures O-minimales
- Simple unstable theories
- Stability theory, permutations of indiscernibles, and embedded finite models
- Stable theories and representation over sets
- Strongly dependent theories
- Subsets of superstable structures are weakly benign
- Théories instables
- Ultrafilters: Some old and some new results
Cited in
(80)- First-order theories of abstract dependence relations
- Strongly determined types
- Some remarks on inp-minimal and finite burden groups
- Dependence relation in pregeometries
- dp-rank and forbidden configurations
- Externally definable sets and dependent pairs
- A note on groups definable in the \(p\)-adic field
- The Marker-Steinhorn theorem via definable linear orders
- A.D. Taimanov and model theory in Kazakhstan
- Strongly dependent ordered abelian groups and Henselian fields
- Definable envelopes in groups having a simple theory
- On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
- Definably topological dynamics of \(p\)-adic algebraic groups
- Vapnik-Chervonenkis density in some theories without the independence property. I
- Variations on a theme of de Aldama and Shelah
- On n-dependent groups and fields
- Generically stable and smooth measures in NIP theories
- On -categorical groups and rings with NIP
- Additivity of the dp-rank
- External definability and groups in NIP theories
- Examples in dependent theories
- An independence theorem for \(\mathrm{NTP}_{2}\) theories
- On the number of Dedekind cuts and two-cardinal models of dependent theories
- Profinite groups with NIP theory andp-adic analytic groups
- The independence property in generalized dense pairs of structures
- Stable embeddedness and NIP
- Simple monadic theories and indiscernibles
- Dependence and isolated extensions
- On dp-minimality, strong dependence and weight
- Some remarks on dp-minimal groups
- Weight and measure in NIP theories
- scientific article; zbMATH DE number 4059370 (Why is no real title available?)
- Consistent amalgamation for þ-forking
- On compactifications and the topological dynamics of definable groups
- Theories without the tree property of the second kind
- Eliminating field quantifiers in strongly dependent henselian fields
- The definable (p,q)-theorem for distal theories
- Definably amenable NIP groups
- THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
- A dependent theory with few indiscernibles
- Strongly dependent theories
- scientific article; zbMATH DE number 2113455 (Why is no real title available?)
- Dependent T and existence of limit models
- Topological dynamics for groups definable in real closed field
- Generic stability, forking, and thorn-forking
- Definable nilpotent and soluble envelopes in groups without the independence property
- Elementary classes of finite VC-dimension
- Externally definable quotients and NIP expansions of the real ordered additive group
- Distality in valued fields and related structures
- Stabilizers, \(\mathbf{NTP}_2\) groups with f-generics, and PRC fields
- Strict independence
- Definable topological dynamics and real Lie groups
- Groups in \(\mathrm{NTP}_{2}\)
- A conjectural classification of strongly dependent fields
- Externally definable sets and dependent pairs. II
- Model theory in algebra, analysis and arithmetic: a preface
- Some themes around first order theories without the independence property
- On the definability of radicals in supersimple groups
- Definable groups for dependent and 2-dependent theories
- Forking and dividing in NTP\(_{2}\) theories
- On properties of (weakly) small groups
- On Vapnik‐Chervonenkis density over indiscernible sequences
- Minimal bounded index subgroup for dependent theories
- Groups and fields with \(\mathrm{NTP}_{2}\)
- Dependent theories and the generic pair conjecture
- Combinatorial properties of nonarchimedean convex sets
- Strongly NIP almost real closed fields
- Topological properties of definable sets in ordered Abelian groups of burden 2
- A family of dp-minimal expansions of \((\mathbb{Z}; +)\)
- THEORIES WITH DISTAL SHELAH EXPANSIONS
- Stable domination and weight
- One-basedness and groups of the form \(G/G ^{00}\)
- Ellis enveloping semigroups in real closed fields
- Models of abelian varieties over valued fields, using model theory
- On large externally definable sets in NIP
- Density of compressible types and some consequences
- The Marker-Steinhorn theorem
- The classification of dp-minimal integral domains
- Forking and invariant measures in NIP theories
- First order theories for partial models
This page was built for publication: Dependent first order theories, continued
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2655752)
