Abstract
We prove that if λ≧μ אo=μ≧|T | and if every finite subtheory of T has a (λ, μ)-model (i.e. a model with a domain of power λ, in which a distinguished predicate is interpreted as a set of μ elements) then T has such a model. There are generalizations for μ-like models (or, equivalently, to languages with generalized quantifiers).
Original language | English |
---|---|
Pages (from-to) | 193-198 |
Number of pages | 6 |
Journal | Israel Journal of Mathematics |
Volume | 9 |
Issue number | 2 |
DOIs | |
State | Published - Mar 1971 |