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 |
Fingerprint
Dive into the research topics of 'Two cardinal compactness'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver