HomePublications

Forcing lightface definable well-orders without the CGH

Research output: Contribution to journalArticle

Documents

DOI

Authors

Organisational units

Abstract

For any given uncountable cardinal \(\kappa\) with \(\kappa^{{<}\kappa}=\kappa\), we present a forcing that is \(<\kappa\)-directed closed, has the \(\kappa^+\)-c.c. and introduces a lightface definable well-order of \(H(\kappa^+)\). We use this to define a global iteration that does this for all such \(\kappa\) simultaneously and is capable of preserving the existence of many large cardinals in the universe.

Details

Original languageEnglish
Pages (from-to)553–582
Number of pages30
JournalAnnals of Pure and Applied Logic
Volume166
Issue number5
Early online date29 Dec 2014
DOIs
Publication statusPublished - May 2015
Peer-reviewedYes

Keywords

    Research areas

  • Definable well-orders, Forcing, Large cardinals

View graph of relations

ID: 31262368

Related by author
  1. Dependent choice, properness, and generic absoluteness

    Research output: Contribution to journalArticle

  2. A forcing notion collapsing \aleph_3 and preserving all other cardinals

    Research output: Contribution to journalArticle

  3. Long reals

    Research output: Contribution to journalArticle

  4. Adding many Baumgartner clubs

    Research output: Contribution to journalArticle

Related by journal
  1. Ax-Schanuel and strong minimality for the j-function

    Research output: Contribution to journalArticle

  2. Determinacy of refinements to the difference hierarchy of co-analytic sets

    Research output: Contribution to journalArticle

  3. Separating club-guessing principles in the presence of fat forcing axioms

    Research output: Contribution to journalArticle

  4. Exponentially Closed Fields and the Conjecture on Intersections with Tori

    Research output: Contribution to journalArticle