开始时间: 04/22/2022 持续时间: 未知
所在平台: MIT公开课 课程类别: 数学 大学或机构: ocw |
课程主页: http://ocw.mit.edu/courses/mathematics/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.