A two-cardinal theorem

Saharon Shelah*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

Abstract

We prove the following theorem and deal with some related questions:If for all n < ω, T has a model M such that formula presented then for all λ, μ such that formula presented, T has a model type (λ, μ) i.e. formula presented.

Original languageEnglish
Pages (from-to)208-213
Number of pages6
JournalProceedings of the American Mathematical Society
Volume48
Issue number1
DOIs
StatePublished - Mar 1975

Keywords

  • Finite models
  • Two-cardinal theorem

Fingerprint

Dive into the research topics of 'A two-cardinal theorem'. Together they form a unique fingerprint.

Cite this