๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Generic models of countable theories

โœ Scribed by S. A. Chikhachev


Publisher
Springer US
Year
1975
Tongue
English
Weight
871 KB
Volume
14
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Theories with three countable models
โœ M. G. Peretyat'kin ๐Ÿ“‚ Article ๐Ÿ“… 1980 ๐Ÿ› Springer US ๐ŸŒ English โš– 651 KB
On Theories Having Three Countable Model
โœ Koichiro Ikeda; Akito Tsuboi; Anand Pillay ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 368 KB

A theory T is called almost No-categorical if for any pure typespl(zl), . . . ,pn(zn) there are only finitely many pure types which extend p 1 ( ~1 ) U . . . U p ~( z , ) . It is shown that if T is an almost No-categorical theory with I(No,T) = 3, then a dense linear ordering is interpretable in T .