A minimal prime model with an infinite set of indiscernibles
暂无分享,去创建一个
We show the existence of a prime minimal model containing an infinite set of indiscernibles. We then find a sentence ofLω1ω which is categorical in ω1 but whose model of power ω1 is not (ω1,Lω1ω-homogeneous. This answers a question posed by Keisler.
[1] Minimal- und Primmodelle , 1966 .
[2] H. Keisler. Model theory for infinitary logic , 1971 .
[3] R. Vaught,et al. Denumerable Models of Complete Theories , 1970 .