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 条
  • [11] Universes in toposes
    Streicher, Thomas
    [J]. From Sets and Types to Topology and Analysis: TOWARDS PRACTICABLE FOUNDATIONS FOR CONSTRUCTIVE MATHEMATICS, 2005, 48 : 78 - 90
  • [12] OMEGA-CATEGORICITY, RELATIVE CATEGORICITY AND COORDINATION
    HODGES, W
    HODKINSON, IM
    MACPHERSON, D
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1990, 46 (02) : 169 - 199
  • [13] Computable categoricity versus relative computable categoricity
    Downey, Rodney G.
    Kach, Asher M.
    Lempp, Steffen
    Turetsky, Daniel D.
    [J]. FUNDAMENTA MATHEMATICAE, 2013, 221 (02) : 129 - 159
  • [14] MOLECULAR TOPOSES
    BARR, M
    PARE, R
    [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1980, 17 (02) : 127 - 152
  • [15] TOPOSES AND GROUPOIDS
    MOERDIJK, I
    [J]. LECTURE NOTES IN MATHEMATICS, 1988, 1348 : 280 - 298
  • [16] Semigroups and Toposes
    J. Funk
    [J]. Semigroup Forum, 2007, 75 : 480 - 519
  • [17] RINGS AND TOPOSES
    MULVEY, CJ
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (01): : A87 - A87
  • [18] Scattered toposes
    Esakia, L
    Jibladze, M
    Pataraia, D
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2000, 103 (1-3) : 97 - 107
  • [19] Toposes are adhesive
    Lack, Stephen
    Sobocinski, Pawel
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2006, 4178 : 184 - 198
  • [20] Calibrated Toposes
    Johnstone, Peter
    [J]. BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2012, 19 (05) : 889 - 907
12345