论文信息 - On Theories Having Three Countable Models

On Theories Having Three Countable Models

A theory T is called almost 0-categorical if for any pure types p1(x1),…,pn(xn) there are only finitely many pure types which extend p1(x1) ∪…∪pn(xn). It is shown that if T is an almost 0-categorical theory with I(0,T) = 3, then a dense linear ordering is interpretable in T.

Akito Tsuboi | Koichiro Ikeda | Anand Pillay

[1] Terrence Millar. Finite Extensions and the Number of Countable Models , 1989, J. Symb. Log..

[2] Robert E. Woodrow. Theories with a Finite Number of Countable Models , 1978, J. Symb. Log..

[3] Anand Pillay. Theories with Exactly Three Countable Models and Theories with Algebraic Prime Models , 1980, J. Symb. Log..

[4] Akito Tsuboi. On Theories Having a Finite Number of Nonisomorphic Countable Models , 1985, J. Symb. Log..

[5] A. H. Lachlan. On the Number of Countable Models of A Countable Superstable Theory , 1973 .

[6] Robert E. Woodrow. A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models , 1976, J. Symb. Log..

[7] M. G. Peretyat'kin. Theories with three countable models , 1980 .

[8] Ehud Hrushovski. Finitely Based Theories , 1989, J. Symb. Log..

[9] Anand Pillay. Instability and theories with few models , 1980 .