Definable well-orders of H(U2) and GCH

D. Aspero, S.-D. Friedman

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)


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 languageEnglish
Pages (from-to)1101-1121
Number of pages21
JournalJournal of Symbolic Logic
Issue number4
Publication statusPublished - 1 Dec 2012

Cite this