Theorem 1.1 in Tibor Bekes *Theories of presheaf type*
([pdf 1](https://sites.uml.edu/tibor-beke/files/2018/07/presheaf-24qtul3.pdf),
[pdf 2](http://faculty.uml.edu/tbeke/jsl.pdf))
looks like a convenient criterion for whether a given qotient $T^+$ of a geometric theory $T$ of presheaf type is again of presheaf type -- except for the assumption that $T^+$ has enough models in $\mathrm{Set}$ (i.e. $\mathrm{Set}[T^+]$ has enough points). The thing is, I also can't find any mention of this condition in any of the places where the Theorem is applied whithin this paper.


All theories of presheaf type have enough $\mathrm{Set}$-models, so $T$ has enough $\mathrm{Set}$-models, but this doesn't seem to help us with $T^+$. (Recall that $T^+$ might have no $\mathrm{Set}$-models at all while still being consistent.) Coherent theories (no infinitary disjunctions) also have enough $\mathrm{Set}$-models. This justifies the assumption in e.g. Example 3.2 (at least if we start with a coherent $T$), but not in e.g. Examples 3.1, 3.3 and 3.5. (I must say I have additional difficulties understanding Example 3.3. It seems to imply that any propositional (zero sorts) geometric theory is of presheaf type, which is not true.)


Are there other quick reasons why a geometric theory might have enough $\mathrm{Set}$-models? Am I missing something else entirely?



What about the enough points requirement in Bekes "Theories of presheaf type"?
It is actually not that simple to contruct geometric theories whose classifying toposes do not have enough points. Of course they exist, as any Grothendieck topos is the classifying topos of something and there are plenty of Grothendieck topos that do not have enough points. But what I mean is that almost all *natural* example of theories will be classified with a topos having enough point.


There are two fairly similar theorem that guarantee this:


1. *Deligne completness theorem* assert that "every Coherent topos has enough points". It implies that any "[coherent theory](https://ncatlab.org/nlab/show/coherent+logic)" (that is a geometric theory with not infinite join) is classified by a topos with enough points.
2. *Makkai-Reyes completness theorem* assert that a "separable topos", i.e. a topos that admits a countable site with a countable set of basic covering famillies, has enough point. (see theorem 6.2.4 in Makkai and Reyes "First Order categorical logic"). It implies that the classyfing topos of a "countable" geometric theory has enough points. By countable I mean that the theory has a countable signature and a countable set of axioms that uses at most countable joins.


It seems to me that any of these two results already cover all the example mentioned in Beke's paper.


To come back to my initial point, to construct a Geometric theory that do not have enough model, you need to start with some uncountable set of data, for example start from an uncountable set $I$ and look at the theory of surjection $\mathbb{N} \to I$. But pretty much all the theories we want to look at in every day mathematics are countable.


Note: Regarding your comment on example 3.3, the point is that he only considers theories whose axiom are of the form $\forall x, \phi(x)$ where $\phi$ has no quantifier. In the case of propositional theories, it means axiom of the form $\phi$ (with $\phi$ a geometric proposition) instead of the more general geometric sequent $\phi \Rightarrow \psi$ that you can use in a propositional theory.


