PK K]Q imsmanifest.xml
IMS Content
1.1
OCW
CWSpace
0.1
Simplicity Theory
OCW Master Course Number
18.996A
Spring 2004
OCW_LOMv1.0
Author
Ben-Yaacov, Itay
2020-12-25
OCW Course Topics
Mathematics
Mathematical Logic
OCW Course Topics
Mathematics
Algebra and Number Theory
contents/index.htm.xml
Simplicity Theory
-
Simplicity Theory
-
18-996as04.jpg
-
18-996as04-th.jpg
-
Syllabus
-
Calendar
-
Readings
-
Lecture Notes
-
lec_2.pdf
-
lec_6.pdf
-
lec_7.pdf
-
lec_5.pdf
-
lec_8.pdf
-
lec_1.pdf
-
lec13_14.pdf
-
lec_9.pdf
-
lec_3.pdf
-
lec_4.pdf
-
lec_10.pdf
-
lec15_16.pdf
-
lec11_12.pdf
-
Assignments
-
asign12_compac.pdf
-
asign2_2_17v1.pdf
-
asign4_2_17.pdf
-
asign5_ocw910.pdf
-
assign10_compac.pdf
-
assign1_wang.pdf
-
asign6_ocw910.pdf
-
asign8_compac.pdf
-
asign9_compac.pdf
-
asign7_p27_36com.pdf
-
asign11_compac.pdf
-
asign3_2_17.pdf
-
Legal Notices
-
Privacy Statement
-
Trademark Notices
contents/lecture-notes/lec_4.pdf.xml
contents/lecture-notes/lec_5.pdf.xml
contents/lecture-notes/lec_10.pdf.xml
contents/assignments/assign1_wang.pdf.xml
contents/index.htm.xml
contents/lecture-notes/lec_9.pdf.xml
contents/assignments/asign11_compac.pdf.xml
contents/lecture-notes/lec_1.pdf.xml
contents/lecture-notes/lec_2.pdf.xml
contents/assignments/asign6_ocw910.pdf.xml
contents/lecture-notes/lec11_12.pdf.xml
contents/assignments/index.htm.xml
contents/assignments/asign5_ocw910.pdf.xml
contents/assignments/asign7_p27_36com.pdf.xml
contents/lecture-notes/lec_3.pdf.xml
contents/18-996as04-th.jpg.xml
contents/lecture-notes/lec_7.pdf.xml
contents/calendar/index.htm.xml
contents/assignments/asign4_2_17.pdf.xml
contents/syllabus/index.htm.xml
contents/assignments/asign8_compac.pdf.xml
contents/lecture-notes/lec_6.pdf.xml
contents/assignments/assign10_compac.pdf.xml
contents/readings/index.htm.xml
contents/lecture-notes/lec_8.pdf.xml
contents/assignments/asign9_compac.pdf.xml
contents/lecture-notes/lec13_14.pdf.xml
contents/assignments/asign2_2_17v1.pdf.xml
contents/lecture-notes/lec15_16.pdf.xml
contents/18-996as04.jpg.xml
contents/lecture-notes/index.htm.xml
contents/assignments/asign12_compac.pdf.xml
contents/assignments/asign3_2_17.pdf.xml
PK {Q~3! 18-996a-spring-2004/ReadMe.txtThis zip package contains the HTML pages and files associated with the course.
Some materials - such as videos, java applets, and other special content - are not posted on the OCW server, and are therefore not part of this package. This prevents zip packages from becoming too large for download. To download these resources to your computer, please read the FAQ at https://ocw.mit.edu/help/faq-technology/ .
Use of the materials in this package are governed by the same Creative Commons license as all other materials published on MIT OpenCourseWare. For more information, see https://ocw.mit.edu/terms .
If you have any trouble using this package, please contact us at ocw@mit.edu .PK {Q%aD6 6 18-996a-spring-2004/START.htm
MIT OpenCourseWare | Welcome
Welcome to MIT Open Course Ware. You will be automatically redirected to Home. If you aren not forwarded to the new page, Click here to access the home page of the downloaded Click Here
PK H]QW~g. g. / 18-996a-spring-2004/contents/18-996as04.jpg.xml
18-996as04.jpg
The DG (-, =) is left translation - invariant. (Image by Dr. Itay Ben-Yaacov.)
en
LOMv1.0
2
Spring 2004
OCW_LOMv1.0
Author
Ben-Yaacov, Itay
2020-12-25
/courses/mathematics/18-996a-simplicity-theory-spring-2004/18-996as04.jpg
image/jpeg
48893
LOMv1.0
Browser
LOMv1.0
Chrome
40.0
LOMv1.0
Browser
LOMv1.0
Safari
8.0
LOMv1.0
Browser
LOMv1.0
Mozilla Firefox
38.0
LOMv1.0
Browser
LOMv1.0
Internet Explorer
9.0
LOMv1.0
Browser
LOMv1.0
Edge
13.1
LOMv1.0
Audio/Visual | Image/Image Set
OCW_LOMv1.0
Graduate
LOMv1.0
yes
This site (c) Massachusetts Institute of Technology 2020. Content within individual courses is (c) by the individual authors unless otherwise noted. The Massachusetts Institute of Technology is providing this Work (as defined below) under the terms of this Creative Commons public license ("CCPL" or "license") unless otherwise noted. The Work is protected by copyright and/or other applicable law. Any use of the work other than as authorized under this license is prohibited. By exercising any of the rights to the Work provided here, You (as defined below) accept and agree to be bound by the terms of this license. The Licensor, the Massachusetts Institute of Technology, grants You the rights contained here in consideration of Your acceptance of such terms and conditions.
LOMv1.0
ispartof
OCW Master Course Number
18.996A Simplicity Theory Spring 2004
This is an advanced topics course in model theory whose main theme is simple theories. We treat simple theories in the framework of compact abstract theories, which is more general than that of first order theories. We cover the basic properties of independence (i.e., non-dividing) in simple theories, the characterization of simple theories by the existence of a notion of independence, and hyperimaginary canonical bases.
CIP
270102
Algebra and Number Theory
universal domains
compact abstract theories
indiscernibility
indiscernible sequences
dividing
simplicity
independence
Lascar strong types
independence theorem
hyperimaginaries
canonical bases
supersimplicity
Lascar inequalities
stability
stable theories
generic automorphism
type-definable groups
lovely pairs
PK :]Q . 18-996a-spring-2004/contents/18-996as04-th.jpg Exif II* Ducky P thttp://ns.adobe.com/xap/1.0/