Definable well-orders of H(U2) and GCH

D. Aspero; S.-D. Friedman

doi:10.2178/jsl.7704030

Definable well-orders of H(U2) and GCH

D. Aspero, S.-D. Friedman

Algebra, Number Theory, Logic, and Representations (ANTLR)

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

5 Citations (Scopus)

Abstract

Assuming 20=1 and 21=2, we build a partial order that forces the existence of a well-order of H(ù2) lightface definable over hH(ù2), i and that preserves cardinal exponentiation and cofinalities.

Original language	English
Pages (from-to)	1101-1121
Number of pages	21
Journal	Journal of Symbolic Logic
Volume	77
Issue number	4
DOIs	https://doi.org/10.2178/jsl.7704030
Publication status	Published - 1 Dec 2012

Access to Document

10.2178/jsl.7704030

Cite this

@article{2be64e9f8b4a4e33a05c931af9882b11,

title = "Definable well-orders of H(U2) and GCH",

abstract = "Assuming 20=1 and 21=2, we build a partial order that forces the existence of a well-order of H({\`u}2) lightface definable over hH({\`u}2), i and that preserves cardinal exponentiation and cofinalities. ",

author = "D. Aspero and S.-D. Friedman",

year = "2012",

month = dec,

day = "1",

doi = "10.2178/jsl.7704030",

language = "English",

volume = "77",

pages = "1101--1121",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - Definable well-orders of H(U2) and GCH

AU - Aspero, D.

AU - Friedman, S.-D.

PY - 2012/12/1

Y1 - 2012/12/1

N2 - Assuming 20=1 and 21=2, we build a partial order that forces the existence of a well-order of H(ù2) lightface definable over hH(ù2), i and that preserves cardinal exponentiation and cofinalities.

AB - Assuming 20=1 and 21=2, we build a partial order that forces the existence of a well-order of H(ù2) lightface definable over hH(ù2), i and that preserves cardinal exponentiation and cofinalities.

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

U2 - 10.2178/jsl.7704030

DO - 10.2178/jsl.7704030

M3 - Article

AN - SCOPUS:84881427576

SN - 0022-4812

VL - 77

SP - 1101

EP - 1121

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 4

ER -

Definable well-orders of H(U2) and GCH

Abstract

Access to Document

Other files and links

Cite this