World Scientific
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×
Our website is made possible by displaying certain online content using javascript.
In order to view the full content, please disable your ad blocker or whitelist our website www.worldscientific.com.

System Upgrade on Mon, Jun 21st, 2021 at 1am (EDT)

During this period, the E-commerce and registration of new users may not be available for up to 6 hours.
For online purchase, please visit us again. Contact us at [email protected] for any enquiries.

Dependent theories and the generic pair conjecture

    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.

    AMSC: 03C45, 03C55

    References

    • C. C.   Chang and H.   Jerome Keisler , Model Theory , Studies in Logic and the Foundation of Mathematics   73 ( North-Holland Publishing Co. , Amsterdam , 1973 ) . Google Scholar
    • A.   Ehrenfeucht , Fund. Math.   44 , 241 ( 1957 ) . CrossrefGoogle Scholar
    • P.   Erdős and R.   Rado , J. London Math. Soc.   44 , 467 ( 1969 ) . Crossref, ISIGoogle Scholar
    • T.   Jech , Set Theory , Springer Monographs in Mathematics ( Springer , Berlin , 2003 ) . Google Scholar
    • H.   Jerome Keisler and M. D.   Morley , Israel J. Math.   5 , 73 ( 1967 ) . Crossref, ISIGoogle Scholar
    • A. Kanamori and M. Magidor, Higher Set Theory, Lecture Notes in Mathematics 669 (Springer, Berlin, 1978) pp. 99–275. CrossrefGoogle Scholar
    • I.   Kaplan and S.   Shelah , J. Symbolic Logic   49 , 585 ( 2014 ) . Crossref, ISIGoogle Scholar
    • S.   Shelah , Ann. Math. Logic   2 , 69 ( 1970 ) . CrossrefGoogle Scholar
    • S.   Shelah , Ann. Math. Logic   14 , 57 ( 1978 ) . CrossrefGoogle Scholar
    • S. Shelah, Around Classification Theory of Models, Lecture Notes in Mathematics 1182 (Springer, Berlin, 1986) pp. 47–90. CrossrefGoogle Scholar
    • S. Shelah, Classification Theory, Lecture Notes in Mathematics 1292, ed. J. T. Baldwin (Springer, Berlin, 1987) pp. 264–418. CrossrefGoogle Scholar
    • S.   Shelah , Classification Theory and the Number of Nonisomorphic Models , Studies in Logic and the Foundations of Mathematics   92 ( North-Holland Publishing Co. , Amsterdam , 1990 ) . Google Scholar
    • S.   Shelah , Sci. Math. Jpn.   9 , 503 ( 2004 ) . Google Scholar
    • S. Shelah, Abstract elementary classes near ℵ1, preprint (2007) , arXiv: 0705.4137 . Google Scholar
    • S. Shelah, Introduction and annotated contents, preprint (2009) , arXiv: 0903.3428 . Google Scholar
    • S.   Shelah , Stability Theory for a Model , Studies in Logic   20 ( College Publications , 2009 ) . Google Scholar
    • S.   Shelah , Israel J. Math.   173 , 1 ( 2009 ) . Crossref, ISIGoogle Scholar
    • S.   Shelah , CRM Proc. Lecture Notes   53 , 277 ( 2011 ) . CrossrefGoogle Scholar
    • S.   Shelah , Colloquium Math.   126 , 187 ( 2012 ) . Crossref, ISIGoogle Scholar
    • S. Shelah, Dependent dreams: recounting types, preprint (2012) , arXiv: 1202.5795 . Google Scholar
    • S.   Shelah , Israel J. Math.   204 , 1 ( 2014 ) . Crossref, ISIGoogle Scholar
    • S. Shelah, Dependent T and existence of limit models, to appear in Tbilisi Math. J . Google Scholar
    • S. Shelah, Definable groups for dependent and 2-dependent theories, to appear in J. Symbolic Logic . Google Scholar
    • J. Kaplan, N. Lavi and S. Shelah, The generic pair conjecture for dependent finite diagrams, to appear in Israel J. Math . Google Scholar
    • S. Shelah, Dependent T and exact saturation, F1473 in shelarch . Google Scholar
    Published: 10 December 2014
    Remember to check out the Most Cited Articles!

    Be inspired by these NEW Mathematics books for inspirations & latest information in your research area!