FINDING 2(N0) COUNTABLE MODELS FOR ORDERED THEORIES

被引：2
|
作者：
Baizhanov, B. [1 ]
Baldwin, J. T. [2 ]
Zambarnaya, T. [1 ,3 ]
机构：
[1] Inst Math & Math Modeling, 125 Pushkin St, Alma Ata 050010, Kazakhstan
[2] Univ Illinois, 1200 West Harrison St, Chicago, IL 60607 USA
[3] Al Farabi Kazakh Natl Univ, 71 al Farabi Ave, Alma Ata 050040, Kazakhstan
来源：
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA | 2018年 / 15卷
关键词：
countable model; linear order; omitting types;
D O I：
10.17377/semi.2018.15.057
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
The article is focused on finding conditions that imply small theories of linear order have the maximum number of countable non-isomorphic models. We introduce the notion of extreme triviality of non-principal types, and prove that a theory of order, which has such a type, has 2(N0) countable non-isomorphic models.
引用
收藏
页码：719 / 727
页数：9
相关论文
共 50 条
12345