Consistency proofs in model theory: A contribution to Jensenlehre

John P. Burgess

doi:10.1016/0003-4843(78)90005-0

Consistency proofs in model theory: A contribution to Jensenlehre

John P. Burgess

Philosophy

Research output: Contribution to journal › Article › peer-review

6 Scopus citations

Abstract

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

Original language	English (US)
Pages (from-to)	1-12
Number of pages	12
Journal	Annals of Mathematical Logic
Volume	14
Issue number	1
DOIs	https://doi.org/10.1016/0003-4843(78)90005-0
State	Published - Jun 1978

Access to Document

10.1016/0003-4843(78)90005-0

Cite this

@article{ee6bb606abeb456cba849cc3d2ea8df8,

title = "Consistency proofs in model theory: A contribution to Jensenlehre",

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

author = "Burgess, {John P.}",

year = "1978",

month = jun,

doi = "10.1016/0003-4843(78)90005-0",

language = "English (US)",

volume = "14",

pages = "1--12",

journal = "Annals of Mathematical Logic",

issn = "0003-4843",

publisher = "Elsevier B.V.",

number = "1",

}

TY - JOUR

T1 - Consistency proofs in model theory

T2 - A contribution to Jensenlehre

AU - Burgess, John P.

PY - 1978/6

Y1 - 1978/6

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

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

UR - http://www.scopus.com/inward/record.url?scp=49349119435&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=49349119435&partnerID=8YFLogxK

U2 - 10.1016/0003-4843(78)90005-0

DO - 10.1016/0003-4843(78)90005-0

M3 - Article

AN - SCOPUS:49349119435

SN - 0003-4843

VL - 14

SP - 1

EP - 12

JO - Annals of Mathematical Logic

JF - Annals of Mathematical Logic

IS - 1

ER -

Consistency proofs in model theory: A contribution to Jensenlehre

Abstract

Access to Document

Other files and links

Fingerprint

Cite this