A primer of simple theories

Abstract. We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shelah's 1980 paper Simple unstable theories. The concept of weak dividing has been replaced with that of forking. The exposition is from a contemporary perspective and takes into account contributions due to S. Buechler, E. Hrushovski, B. Kim, O. Lessmann, S. Shelah and A. Pillay.

[1]  W. Hodges.  CLASSIFICATION THEORY AND THE NUMBER OF NON‐ISOMORPHIC MODELS , 1980 .

[2]  Saharon Shelah.  On saturation for a predicate , 1981, Notre Dame J. Formal Log..

[3]  Ziv Shami.  Definability in Low Simple Theories , 2000, J. Symb. Log..

[4]  Kenneth Kunen,et al.  Hanf numbers for fragments of ℶh(A) , 1971 .

[5]  Saharon Shelah,et al.  Categoricity of Uncountable Theories , 1981 .

[6]  Steven Buechler.  Lascar Strong Types in Some Simple Theories , 1999, J. Symb. Log..

[7]  Ehud Hrushovski,et al.  Simplicity and the Lascar group , 1998 .

[8]  Daniel Lascar,et al.  Ranks and definability in superstable theories , 1976 .

[9]  Anand Pillay,et al.  Introduction to stability theory , 1983, Oxford logic guides.

[10]  M. Morley.  Categoricity in power , 1965 .

[11]  Saharon Shelah,et al.  A weak generalization of MA to higher cardinals , 1978 .

[12]  Victor Harnik,et al.  Review: S. Shelah, Classification Theory and the Number of Nonisomorphic Models , 1982, Journal of Symbolic Logic.

[13]  B. Poizat.  A Course in Model Theory , 2000 .

[14]  Saharon Shelah.  ON WHAT I DO NOT UNDERSTAND (AND HAVE SOMETHING TO SAY), MODEL THEORY , 1999 .

[15]  John T. Baldwin,et al.  On strongly minimal sets , 1971, Journal of Symbolic Logic.

[16]  Saharon Shelah.  Toward Classifying Unstable Theories , 1996, Ann. Pure Appl. Log..

[17]  F. J. Pelletier,et al.  316 Notre Dame Journal of Formal Logic , 1982 .

[18]  M. Makkai.  A survey of basic stability theory, with particular emphasis on orthogonality and regular types , 1984 .

[19]  Bruno Poizat,et al.  An Introduction to Forking , 1979, J. Symb. Log..

[20]  Anand Pillay,et al.  Simple Theories , 1997, Ann. Pure Appl. Log..

[21]  William Marsh,et al.  On Ω 1 -categorical but Not Ω-categorical Theories , 1966 .

[22]  Victor Harnik,et al.  On the existence of saturated models of stable theories , 1975 .

[23]  Ehud Hrushovski,et al.  Groups definable in local fields and pseudo-finite fields , 1994 .

[24]  Gerald E. Sacks,et al.  Saturated Model Theory , 1972 .

[25]  Daniel Lascar,et al.  Stability in model theory , 1990 .

[26]  Enrique Casanovas.  The Number of Types in Simple Theories , 1999, Ann. Pure Appl. Log..

[27]  J. A. Salvato.  John wiley & sons. , 1994, Environmental science & technology.

[28]  M. Mišík,et al.  Oxford University Press , 1968, PMLA/Publications of the Modern Language Association of America.

[29]  Jerzy Łoś,et al.  On the categoricity in power of elementary deductive systems and some related problems , 1954 .

[30]  Steven Buechler.  Supersimple theories , 1997 .

[31]  O. H. Lowry.  Academic press. , 1972, Analytical chemistry.

[32]  Bruno Poizat.  Suites d'indicernables dans les théories stables , 1977 .

[33]  Saharon Shelah,et al.  Finite diagrams stable in power , 1970 .

[34]  Saharon Shelah,et al.  Simple unstable theories , 1980 .

[35]  Olivier Lessmann.  Counting partial types in simple theories , 2000 .

[36]  Anand Pillay,et al.  From Stability to Simplicity , 1998, Bulletin of Symbolic Logic.

[37]  Victor Harnik,et al.  Fundamentals of forking , 1984, Ann. Pure Appl. Log..

[38]  J. P. Ressayre.  Sur les thories du premier ordre catgoriques en un cardinal , 1969 .

[39]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[40]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

[41]  Anand Pillay,et al.  Forking and Fundamental Order in Simple Theories , 1999, J. Symb. Log..

[42]  Byunghan Kim.  Forking in Simple Unstable Theories , 1998 .