Consistency proofs in model theory: A contribution to Jensenlehre

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Abstract

We prove the two-cardinal principle(κ++,κ)→(λ++,λ) consistent for all κ and λ, without the use of Jensen's morasses.

Original languageEnglish (US)
Pages (from-to)1-12
Number of pages12
JournalAnnals of Mathematical Logic
Volume14
Issue number1
DOIs
StatePublished - Jun 1978

Fingerprint

Dive into the research topics of 'Consistency proofs in model theory: A contribution to Jensenlehre'. Together they form a unique fingerprint.

Cite this