Atomic Toposes and Countable Categoricity

被引：6

作者：

Caramello, Olivia ^{[1
]}

机构：

[1] Univ Cambridge, Dept Pure Math & Math Stat, Ctr Math Sci, Cambridge CB3 0WB, England

来源：

APPLIED CATEGORICAL STRUCTURES | 2012年 / 20卷 / 04期

关键词：

Atomic topos; Boolean topos; Countably categorical theory; Geometric theory; Atomic theory; Type;

D O I：

10.1007/s10485-010-9244-x

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We give a model-theoretic characterization of the class of geometric theories classified by an atomic topos having enough points; in particular, we show that every complete geometric theory classified by an atomic topos is countably categorical. Various results on atomic toposes are also established, and some applications are discussed.

引用

页码：379 / 391

页数：13

共 50 条

[1] Atomic Toposes and Countable Categoricity
Olivia Caramello
[J]. Applied Categorical Structures, 2012, 20 : 379 - 391
[2] The number of countable models in realizability toposes
Ackerman, Nathanael Leedom
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2012, 216 (8-9) : 1994 - 2013
[3] ATOMIC TOPOSES
BARR, M
DIACONESCU, R
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1980, 17 (01) : 1 - 24
[4] The complexity of countable categoricity in finite languages
Ivanov, Aleksander
[J]. MATHEMATICAL LOGIC QUARTERLY, 2012, 58 (1-2) : 105 - 112
[5] 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
[6] TOPOSES IN LOGIC AND LOGIC IN TOPOSES
BUNGE, M
[J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1984, 3 (01): : 13 - 22
[7] A COMPLETE AND COUNTABLE ORTHOMODULAR LATTICE IS ATOMIC
RANDALL, CH
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 21 (01) : 253 - +
[8] Triposes, q-toposes and toposes
Frey, Jonas
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2015, 166 (02) : 232 - 259
[9] Bounded countable atomic compactness of ordered groups
Wehrung, F
[J]. FUNDAMENTA MATHEMATICAE, 1995, 148 (02) : 101 - 116
[10] Cocomplete toposes whose exact completions are toposes
Menni, Matias
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2007, 210 (02) : 511 - 520

← 1 2 3 4 5 →