Dependent first order theories, continued
From MaRDI portal
Publication:2655752
DOI10.1007/S11856-009-0082-1zbMATH Open1195.03040arXivmath/0406440OpenAlexW2049449892MaRDI QIDQ2655752FDOQ2655752
Authors: S. Shelah 
Publication date: 26 January 2010
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/math/0406440
Recommendations
weightstrong dependenceindependence propertyabelian subgroupexternally definable setscofinalitydependent theorynon-forkingburden
Cites Work
- Classification theory and the number of non-isomorphic models.
- Ultrafilters: Some old and some new results
- Stability theory, permutations of indiscernibles, and embedded finite models
- Simple unstable theories
- Finite diagrams stable in power
- Strongly dependent theories
- Théories instables
- Minimal bounded index subgroup for dependent theories
- Stable theories and representation over sets
- Title not available (Why is that?)
- Dependent \(T\) and existence of limit models
- Dependent theories and the generic pair conjecture
- Paires de structures O-minimales
- Measures and forking
- Subsets of superstable structures are weakly benign
Cited In (75)
- Simple monadic theories and indiscernibles
- Title not available (Why is that?)
- A family of dp-minimal expansions of \((\mathbb{Z}; +)\)
- 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
- On large externally definable sets in NIP
- THEORIES WITH DISTAL SHELAH EXPANSIONS
- Ellis enveloping semigroups in real closed fields
- Externally definable quotients and NIP expansions of the real ordered additive group
- Dependence and isolated extensions
- The definable \((p,q)\)-theorem for distal theories
- Dependence relation in pregeometries
- On the number of Dedekind cuts and two-cardinal models of dependent theories
- Some remarks on inp-minimal and finite burden groups
- Examples in dependent theories
- First-order theories of abstract dependence relations
- On \(n\)-dependent groups and fields
- Some remarks on dp-minimal groups
- Some themes around first order theories without the independence property
- An independence theorem for \(\mathrm{NTP}_{2}\) theories
- Consistent amalgamation for þ-forking
- Strict independence
- External definability and groups in NIP theories
- Generic stability, forking, and thorn-forking
- Externally definable sets and dependent pairs
- Model theory in algebra, analysis and arithmetic: a preface
- Topological properties of definable sets in ordered Abelian groups of burden 2
- Generically stable and smooth measures in NIP theories
- On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
- Minimal bounded index subgroup for dependent theories
- Definable envelopes in groups having a simple theory
- Vapnik-Chervonenkis density in some theories without the independence property. I
- On dp-minimality, strong dependence and weight
- On Vapnik‐Chervonenkis density over indiscernible sequences
- Strongly dependent theories
- THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
- On \(\omega\)-categorical groups and rings with NIP
- Title not available (Why is that?)
- A dependent theory with few indiscernibles
- Strongly dependent ordered abelian groups and Henselian fields
- Profinite groups with NIP theory andp-adic analytic groups
- On compactifications and the topological dynamics of definable groups
- Theories without the tree property of the second kind
- Definable topological dynamics and real Lie groups
- Definably topological dynamics of \(p\)-adic algebraic groups
- Dependent theories and the generic pair conjecture
- Dependent \(T\) and existence of limit models
- Definably amenable NIP groups
- Stable embeddedness and NIP
- Eliminating field quantifiers in strongly dependent henselian fields
- Distality in valued fields and related structures
- Topological dynamics for groups definable in real closed field
- Stable domination and weight
- dp-rank and forbidden configurations
- One-basedness and groups of the form \(G/G ^{00}\)
- Elementary classes of finite VC-dimension
- A note on groups definable in the \(p\)-adic field
- The Marker-Steinhorn theorem via definable linear orders
- Weight and measure in NIP theories
- A.D. Taimanov and model theory in Kazakhstan
- Additivity of the dp-rank
- Definable nilpotent and soluble envelopes in groups without the independence property
- The independence property in generalized dense pairs of structures
- Forking and dividing in NTP\(_{2}\) theories
- Groups and fields with \(\mathrm{NTP}_{2}\)
- Externally definable sets and dependent pairs. II
- Definable groups for dependent and 2-dependent theories
- A conjectural classification of strongly dependent fields
- Combinatorial properties of nonarchimedean convex sets
- Stabilizers, \(\mathbf{NTP}_2\) groups with f-generics, and PRC fields
- First order theories for partial models
- On properties of (weakly) small groups
- On the definability of radicals in supersimple groups
- Groups in \(\mathrm{NTP}_{2}\)
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)
