The classification of countable models of set theory

被引：1

作者：

Clemens, John ^{[1
]}

Coskey, Samuel ^{[1
]}

Dworetzky, Samuel ^{[2
]}

机构：

[1] Boise State Univ, Dept Math, 1910 Univ Dr, Boise, ID 83725 USA

[2] 125 W Tazewell St, Norfolk, VA 23510 USA

来源：

MATHEMATICAL LOGIC QUARTERLY | 2020年 / 66卷 / 02期

关键词：

D O I：

10.1002/malq.201900008

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models ofZFCis Borel complete, meaning that it is as complex as it can conceivably be. We then give partial results concerning the classification of countable well-founded models ofZFC.

引用

页码：182 / 189

页数：8

共 50 条

[1] ELEMENTARY EXTENSIONS OF COUNTABLE MODELS OF SET-THEORY
HUTCHINSON, JE
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 139 - 145
[2] Constructive toposes with countable sums as models of constructive set theory
Simpson, Alex
Streicher, Thomas
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (10) : 1419 - 1436
[3] EXTENDING COUNTABLE MODELS OF SET-THEORY - PRELIMINARY REPORT
HUTCHINSON, JE
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (02): : A322 - A322
[4] On the number of countable models of a countable supersimple theory
Kim, B
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1999, 60 : 641 - 645
[5] Classification of dendrites with a countable set of end points
Zafiridou, Sophia
[J]. TOPOLOGY AND ITS APPLICATIONS, 2012, 159 (07) : 1661 - 1669
[6] NUMBER OF COUNTABLE MODELS OF A COUNTABLE THEORY - PRELIMINARY REPORT
SACKS, GE
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (03): : 565 - &
[7] TRUTH IN ALL OF CERTAIN WELL-FOUNDED COUNTABLE MODELS ARISING IN SET-THEORY
ROSENTHAL, JW
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (02): : 97 - 106
[8] ON THE EXISTENCE OF A COUNTABLE SET OF SOLUTIONS IN A PROBLEM OF POLARON THEORY
ZHIDKOV, PE
[J]. RUSSIAN ACADEMY OF SCIENCES SBORNIK MATHEMATICS, 1993, 75 (01) : 247 - 255
[9] COUNTABLE MODELS OF A THEORY HAVING SKOLEM FUNCTIONS
LASCAR, D
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 268 (02) : 345 - 366
[10] The distribution of countable models of the theory of the group of integers
R. A. Popkov
[J]. Siberian Mathematical Journal, 2015, 56 : 155 - 159

← 1 2 3 4 5 →