Table of Contents
Study Materials
Readings
 When you click the Amazon logo to the left of any citation and purchase the book (or other media) from Amazon.com, MIT OpenCourseWare will receive up to 10% of this purchase and any other purchases you make during that visit. This will not increase the cost of your purchase. Links provided are to the US Amazon site, but you can also support OCW through Amazon sites in other regions. Learn more. |
References
Ben-Yaacov, Itay. "Positive Model Theory and Compact Abstract Theories." Journal of Mathematical Logic 3, no. 1 (2003): 85–118.
Ben-Yaacov, Itay. "Simplicity in Compact Abstract Theories." Journal of Mathematical Logic 3, no. 2 (2003): 163–191.
Ben-Yaacov, Itay. "Thickness, and a Categoric View of Type-space Functors." Fundamenta Mathematicae 179 (2003): 199–224.
Ben-Yaacov, Itay. "Lovely Pairs of Models: The Non First Order Case." Journal of Symbolic Logic 69, no. 3 (2004): 641–662.
Chatzidakis, Zoë, and Anand Pillay. "Generic Structures and Simple Theories." Annals of Pure and Applied Logic 95 (1998): 71–92.
Kim, Byunghan. "Forking in Simple Unstable Theories." Journal of the London Mathematical Society 57, no. 2 (1998): 257–267.
Kim, Byunghan. "A Note on Lascar Strong Types in Simple Theories." Journal of Symbolic Logic 63, no. 3 (1998): 926–936.
Kim, Byunghan, and Anand Pillay. "Simple Theories." Annals of Pure and Applied Logic 88 (1997): 149–164.
Pillay, Anand. "Forking in the Category of Existentially Closed Structures." In Connections between Model Theory and Algebraic and Analytic Geometry. Edited by Angus Macintyre. Vol. 6, Quaderni di Matematica. University of Naples, 2000.
Wagner, Frank O. Simple Theories. Vol. 503. Mathematics and its Applications. Dordrecht, NL: Kluwer Academic Publishers, 2000. ISBN: 0792362217.
General References
General First Order Simplicity Theory
Wagner, Frank O. Simple Theories. Vol. 503. Mathematics and its Applications. Dordrecht, NL: Kluwer Academic Publishers, 2000. ISBN: 0792362217.
The original development appears in the following three readings:
Kim, Byunghan. "Forking in Simple Unstable Theories." Journal of the London Mathematical Society 57, no. 2 (1998): 257–267.
Kim, Byunghan, and Anand Pillay. "Simple Theories." Annals of Pure and Applied Logic 88 (1997): 149–164.
Kim, Byunghan. "A Note on Lascar Strong Types in Simple Theories." Journal of Symbolic Logic 63, no. 3 (1998): 926–936.
Development of Simplicity in Compact Abstract Theories (without Assuming Thickness or Extension)
Ben-Yaacov, Itay. "Simplicity in Compact Abstract Theories." Journal of Mathematical Logic 3, no. 2 (2003): 163–191.
The development presented in the course is closer to that of Anand Pillay's "Forking in the Category of Existentially Closed Structures." (although the model-theoretic setting is slightly different)
|