Atomic toposes and countable categoricity (Q695312): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2011441179 / rank | |||
Normal rank |
Revision as of 00:52, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Atomic toposes and countable categoricity |
scientific article |
Statements
Atomic toposes and countable categoricity (English)
0 references
21 December 2012
0 references
We recall that an atomic topos is an elementary topos \(\xi \) which possesses an atomic geometric morphism \(\xi \rightarrow\mathrm{Set}\). In this paper the author investigates the class of geometric theories classified by an atomic topos having enough points. So the author obtains a characterization of this class of theories in terms of types in classical model theory; in particular she shows that every complete geometric theory classified by an atomic topos is countably categorical. This represents a generalization of the well-known characterization of complete coherent theories classified by an atomic topos.
0 references
atomic topos
0 references
Boolean topos
0 references
countably categorical theory
0 references
geometric theory
0 references
atomic theory
0 references
type
0 references