Two cardinal compactness

Saharon Shelah*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

15 Scopus citations

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 languageEnglish
Pages (from-to)193-198
Number of pages6
JournalIsrael Journal of Mathematics
Volume9
Issue number2
DOIs
StatePublished - Mar 1971

Fingerprint

Dive into the research topics of 'Two cardinal compactness'. Together they form a unique fingerprint.

Cite this