Dependent theories and the generic pair conjecture

DOI10.1142/S0219199715500042zbMATH Open1338.03065arXivmath/0702292OpenAlexW2073112741WikidataQ122897705 ScholiaQ122897705MaRDI QIDQ5496352FDOQ5496352

Authors: S. Shelah 

Publication date: 30 January 2015

Published in: Communications in Contemporary Mathematics (Search for Journal in Brave)

Abstract: We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory is the combination of the one for stable theories and the one for the theory of dense linear order or trees (and first we should try to understand the quite saturated case). As a measure of our progress, we give several applications considering some test questions; in particular we try to prove the generic pair conjecture and do it for measurable cardinals.

Full work available at URL: https://arxiv.org/abs/math/0702292

Recommendations

• The generic pair conjecture for dependent finite diagrams
• A dependent theory with few indiscernibles
• The independence property in generalized dense pairs of structures
• Dependent first order theories, continued
• Examples in dependent theories

zbMATH Keywords

classification theoryfirst-order theoriesdependent theoriesgeneric pair conjecture

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55)

Cites Work

• Finite diagrams stable in power
• Strongly dependent theories
• Intersection Theorems for Systems of Sets (II)
• Dependent first order theories, continued
• Examples in dependent theories
• When a first order \(T\) has limit models
• Models with second order properties I. Boolean algebras with no definable automorphisms
• On the number of homogeneous models of a given power

Cited In (14)

• Dependence and isolated extensions
• Model-theoretic applications of cofinality spectrum problems
• Examples in dependent theories
• Exact saturation in simple and NIP theories
• An independence theorem for \(\mathrm{NTP}_{2}\) theories
• The generic pair conjecture for dependent finite diagrams
• Limit models in metric abstract elementary classes: the categorical case
• Dependent first order theories, continued
• On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
• Minimal bounded index subgroup for dependent theories
• Strongly dependent theories
• A dependent theory with few indiscernibles
• Dependent \(T\) and existence of limit models
• The independence property in generalized dense pairs of structures

This page was built for publication: Dependent theories and the generic pair conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5496352)