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
- scientific article; zbMATH DE number 2113455 (Why is no real title available?)
- 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
- 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
(75)- A family of dp-minimal expansions of \((\mathbb{Z}; +)\)
- THEORIES WITH DISTAL SHELAH EXPANSIONS
- On large externally definable sets in NIP
- Ellis enveloping semigroups in real closed fields
- Strongly NIP almost real closed fields
- Variations on a theme of de Aldama and Shelah
- Models of abelian varieties over valued fields, using model theory
- Simple monadic theories and indiscernibles
- scientific article; zbMATH DE number 4059370 (Why is no real title available?)
- Definably topological dynamics of \(p\)-adic algebraic groups
- Externally definable sets and dependent pairs
- Dependent \(T\) and existence of limit models
- On the definability of radicals in supersimple groups
- A dependent theory with few indiscernibles
- One-basedness and groups of the form \(G/G ^{00}\)
- Dependent theories and the generic pair conjecture
- A.D. Taimanov and model theory in Kazakhstan
- Eliminating field quantifiers in strongly dependent henselian fields
- Elementary classes of finite VC-dimension
- Definable envelopes in groups having a simple theory
- Some remarks on inp-minimal and finite burden groups
- Externally definable sets and dependent pairs. II
- Examples in dependent theories
- On Vapnik‐Chervonenkis density over indiscernible sequences
- On \(n\)-dependent groups and fields
- Additivity of the dp-rank
- The independence property in generalized dense pairs of structures
- Dependence and isolated extensions
- On compactifications and the topological dynamics of definable groups
- Theories without the tree property of the second kind
- A note on groups definable in the \(p\)-adic field
- dp-rank and forbidden configurations
- Dependence relation in pregeometries
- First-order theories of abstract dependence relations
- Model theory in algebra, analysis and arithmetic: a preface
- Generic stability, forking, and thorn-forking
- Strongly dependent ordered abelian groups and Henselian fields
- Vapnik-Chervonenkis density in some theories without the independence property. I
- Topological properties of definable sets in ordered Abelian groups of burden 2
- First order theories for partial models
- Definably amenable NIP groups
- Consistent amalgamation for þ-forking
- The Marker-Steinhorn theorem via definable linear orders
- Definable groups for dependent and 2-dependent theories
- Profinite groups with NIP theory andp-adic analytic groups
- Weight and measure in NIP theories
- A conjectural classification of strongly dependent fields
- External definability and groups in NIP theories
- Some remarks on dp-minimal groups
- The definable \((p,q)\)-theorem for distal theories
- Forking and dividing in NTP\(_{2}\) theories
- Combinatorial properties of nonarchimedean convex sets
- On dp-minimality, strong dependence and weight
- THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
- Stabilizers, \(\mathbf{NTP}_2\) groups with f-generics, and PRC fields
- On the number of Dedekind cuts and two-cardinal models of dependent theories
- Generically stable and smooth measures in NIP theories
- Groups in \(\mathrm{NTP}_{2}\)
- Stable embeddedness and NIP
- On \(\omega\)-categorical groups and rings with NIP
- Definable nilpotent and soluble envelopes in groups without the independence property
- Distality in valued fields and related structures
- Topological dynamics for groups definable in real closed field
- Minimal bounded index subgroup for dependent theories
- An independence theorem for \(\mathrm{NTP}_{2}\) theories
- Externally definable quotients and NIP expansions of the real ordered additive group
- Some themes around first order theories without the independence property
- scientific article; zbMATH DE number 2113455 (Why is no real title available?)
- Strict independence
- On properties of (weakly) small groups
- Strongly dependent theories
- Groups and fields with \(\mathrm{NTP}_{2}\)
- Stable domination and weight
- On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
- Definable topological dynamics and real Lie groups
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)
