DISTRIBUTIONS OF COUNTABLE MODELS OF THEORIES WITH CONTINUUM MANY TYPES

被引：1

作者：

Popkov, R. A. ^{[1
]}

Sudoplatov, S. V. ^{[1
,2
,3
]}

机构：

[1] Novosibirsk State Tech Univ, K Marx Ave 20, Novosibirsk 630073, Russia

[2] Sobolev Inst Math, Novosibirsk 630090, Russia

[3] Novosibirsk State Univ, Novosibirsk 630090, Russia

来源：

SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA | 2015年 / 12卷

关键词：

countable model; theory with continuum many types; Rudin-Keisler preorder; prime model; limit model; premodel set;

D O I：

10.17377/semi.2015.12.022

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We present distributions of countable models and corresponding structural characteristics of complete theories with continuum many types: for prime models over finite sets relative to Rudin-Keisler preorders, for limit models over types and over sequences of types, and for other countable models of theory.

引用

页码：267 / 291

页数：25

共 50 条

[31] THEORIES WITH FINITELY MANY MODELS
THOMAS, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 374 - 376
[32] NUMBERS OF COUNTABLE RIGID NONISOMORPHIC MODELS OF COMPLETE THEORIES
MALITZ, JI
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A331 - A331
[33] A note on countable models of 1-based theories
Predrag Tanovic
[J]. Archive for Mathematical Logic, 2002, 41 : 669 - 671
[34] A note on countable models of 1-based theories
Tanovic, P
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (07) : 669 - 671
[35] COUNTABLE MODELS OF ALEPH1-CATEGORICAL THEORIES
MORLEY, M
[J]. ISRAEL JOURNAL OF MATHEMATICS, 1967, 5 (02) : 65 - &
[36] MODEL-COMPANIONS WITH FINITELY MANY COUNTABLE MODELS
BURRIS, S
[J]. MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (01) : 141 - 142
[37] ON THEORIES HAVING A FINITE NUMBER OF NONISOMORPHIC COUNTABLE MODELS
TSUBOI, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (03) : 806 - 808
[38] Countable infinite existentially closed models of universally axiomatizable theories
Nurtazin A.T.
[J]. Siberian Advances in Mathematics, 2016, 26 (2) : 99 - 125
[39] COUNTABLE MODELS OF NONMULTIDIMENSIONAL N0-STABLE THEORIES
BOUSCAREN, E
LASCAR, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (01) : 197 - 205
[40] Random unary predicates: Almost sure theories and countable models
Spencer, JH
St John, K
[J]. RANDOM STRUCTURES & ALGORITHMS, 1998, 13 (3-4) : 229 - 248

← 1 2 3 4 5 →