𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Theories with constants and three countable models

✍ Scribed by Predrag Tanović


Publisher
Springer
Year
2007
Tongue
English
Weight
191 KB
Volume
46
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


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 .