|
|||||
|
|
Types directed by constants |
|
| Authors: | Predrag Tanovi? |
| Institution: | Matemati?ki Institut SANU, p.p.367, 11001 Beograd, Serbia |
| Abstract: | Let T be a complete, countable, first-order theory having infinite models. We introduce types directed by constants, and prove that their presence in a model of T guaranties the maximal number of non-isomorphic countable models : I(ℵ0,T)=2ℵ0. |
| Keywords: | 03C64 03C15 |
| 本文献已被 ScienceDirect 等数据库收录！ | |