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. © Springer Science+Business Media B.V. 2011
This thesis looks at characterising countably infinitely categorical theories. That is theories for ...
In the early days of the development of model theory it was considered natural and was certainly ben...
AbstractA geometry structure on a category is defined in analogy with the structure of geometric lat...
We give a model-theoretic characterization of the class of geometric theories classified by an atomi...
AbstractLet λ be a finitary geometric theory and δ its classifying topos. We prove that δ is Boolean...
We give characterizations, for various fragments of geometric logic, of the class of theories classi...
Let [lambda] be a finitary geometric theory and [delta] its classifying topos. We prove that [delta]...
AbstractBy a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allow...
In this work we develop the higher categorical language aiming to apply it in the foundations of phy...
A topos is a category satisfying certain axioms. By satisfying the topos axioms, a category can be t...
AbstractLet E be a cocomplete topos. We show that if the exact completion of E is a topos then every...
We present a topos-theoretic interpretation of (a categorical generalization of) Fraïssé's construct...
Modern model theory began with Morley's categoricity theorem: A countable first-order theory that ha...
We present a general method for deciding whether a Grothendieck topos satisfies De Morgan's law (res...
This thesis looks at characterising countably infinitely categorical theories. That is theories for ...
In the early days of the development of model theory it was considered natural and was certainly ben...
AbstractA geometry structure on a category is defined in analogy with the structure of geometric lat...
We give a model-theoretic characterization of the class of geometric theories classified by an atomi...
AbstractLet λ be a finitary geometric theory and δ its classifying topos. We prove that δ is Boolean...
We give characterizations, for various fragments of geometric logic, of the class of theories classi...
Let [lambda] be a finitary geometric theory and [delta] its classifying topos. We prove that [delta]...
AbstractBy a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allow...
In this work we develop the higher categorical language aiming to apply it in the foundations of phy...
A topos is a category satisfying certain axioms. By satisfying the topos axioms, a category can be t...
AbstractLet E be a cocomplete topos. We show that if the exact completion of E is a topos then every...
We present a topos-theoretic interpretation of (a categorical generalization of) Fraïssé's construct...
Modern model theory began with Morley's categoricity theorem: A countable first-order theory that ha...
We present a general method for deciding whether a Grothendieck topos satisfies De Morgan's law (res...
This thesis looks at characterising countably infinitely categorical theories. That is theories for ...
In the early days of the development of model theory it was considered natural and was certainly ben...
AbstractA geometry structure on a category is defined in analogy with the structure of geometric lat...
DOI
Add to ORKG