论文信息 - Minimal models of theories of one function symbol - 字舞流文

Minimal models of theories of one function symbol

IfT1 is a theory of one function symbol andT1 has a minimal model which is not prime, thenT1 has 2No non-isomorphic minimal models.

[1] John T. Baldwin,et al. On strongly minimal sets , 1971, Journal of Symbolic Logic.

[2] R. Vaught,et al. Denumerable Models of Complete Theories , 1970 .

[3] Leo Marcus. A type-open minimal model , 1975, Arch. Math. Log..

[4] C. C. Chang. Ultraproducts and Other Methods of Constructing Models , 1967 .

[5] A. Ehrenfeucht. An application of games to the completeness problem for formalized theories , 1961 .