The Skolem-Löwenheim theorem in toposes (Q2266009): Difference between revisions

The author begins by introducing a notion of ''power'' for objects of a (suitably complete) topos E equipped with a suitable class G of generators (the power of an object X being the smallest cardinality of a covering of X by generators). He then defines an interpretation, for first-order structures in a topos, of generalized quantifiers in the sense of \textit{P. Lindström} [First order predicate logic with generalized quantifiers, Theoria 32, 186-195 (1966)]. Armed with these two tools, he proves a downward Skolem-Löwenheim theorem for models in toposes of theories expressed in languages with generalized quantifiers.