Theories with constants and three countable models

被引：7

作者：

Tanovic, Predrag ^{[1
]}

机构：

[1] Matemat Inst SANU, Belgrade 11001, Serbia

来源：

ARCHIVE FOR MATHEMATICAL LOGIC | 2007年 / 46卷 / 5-6期

关键词：

D O I：

10.1007/s00153-007-0054-2

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove that a countable, complete, first-order theory with infinite dcl (0) and precisely three non-isomorphic countable models interprets a variant of Ehrenfeucht's or Peretyatkin's example.

引用

页码：517 / 527

页数：11

共 50 条

[1] Theories with constants and three countable models
Predrag Tanović
[J]. Archive for Mathematical Logic, 2007, 46 : 517 - 527
[2] On theories having three countable models
Ikeda, K
Pillay, A
Tsuboi, A
[J]. MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (02) : 161 - 166
[3] COUNTABLE MODELS AND UNIONS OF THEORIES
TSUBOI, A
[J]. JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1986, 38 (03) : 501 - 508
[4] THEORIES WITHOUT COUNTABLE MODELS
BLASS, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (03) : 562 - 568
[5] COUNTABLE MODELS OF STABLE THEORIES
PILLAY, A
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1983, 89 (04) : 666 - 672
[6] Countable Models of Complete Ordered Theories
Zambarnaya, T. S.
Baizhanov, B. S.
[J]. DOKLADY MATHEMATICS, 2023, 108 (02) : 343 - 345
[7] THEORIES WITH A FINITE NUMBER OF COUNTABLE MODELS
WOODROW, RE
[J]. JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (03) : 442 - 455
[8] On the number of countable models of stable theories
Tanovic, P
[J]. FUNDAMENTA MATHEMATICAE, 2001, 169 (02) : 139 - 144
[9] COUNTABLE MODELS OF SMALL STABLE THEORIES
BAISALOV, ER
[J]. SIBERIAN MATHEMATICAL JOURNAL, 1990, 31 (04) : 534 - 540
[10] Countable Models of Complete Ordered Theories
T. S. Zambarnaya
B. S. Baizhanov
[J]. Doklady Mathematics, 2023, 108 : 343 - 345

← 1 2 3 4 5 →