Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661680 | Annals of Pure and Applied Logic | 2015 | 30 Pages |
Abstract
For any given uncountable cardinal κ with κ<κ=κ, we present a forcing that is <κ-directed closed, has the κ+-cc and introduces a lightface definable well-order of H(κ+). We use this to define a global iteration that adds such a well-order for all such κ simultaneously and is capable of preserving the existence of many large cardinals in the universe.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
David Asperó, Peter Holy, Philipp Lücke,