Atomic Toposes and Countable Categoricity

作者：Caramello Olivia^*

来源：Applied Categorical Structures, 2012, 20(4): 379-391.

DOI：10.1007/s10485-010-9244-x

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

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.

• 出版日期2012-8