On uniqueness of prime models
暂无分享,去创建一个
We prove there are theories (stable or countable) for which over every A there is a prime model but it is not necessarily unique. We also give a simplified proof of the uniqueness theorem for countable stable theories.
[1] Saharon Shelah,et al. Uniqueness and characterization of prime models over sets for totally transcendental first-order theories , 1972, Journal of Symbolic Logic.
[2] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[3] R. Vaught,et al. Denumerable Models of Complete Theories , 1970 .
[4] Gerald E. Sacks,et al. Saturated Model Theory , 1972 .