The Skolem-Löwenheim theorem in toposes (Q2266009)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3893183
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Skolem-Löwenheim theorem in toposes |
scientific article; zbMATH DE number 3893183 |
Statements
The Skolem-Löwenheim theorem in toposes (English)
0 references
1983
0 references
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.
0 references
power of an object
0 references
first-order structures
0 references
generalized quantifiers
0 references
downward Skolem-Löwenheim theorem
0 references
models in toposes
0 references
0 references
0.9782866
0 references
0 references
0.90367436
0 references
0.89975935
0 references
0.89786565
0 references
0.8944961
0 references
0 references
0.88953847
0 references
