Extender Based Radin Forcing

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We define extender sequences, generelizing measure sequences from Radin Forcing. Using the extender sequences we combine Gitik-Magidor forcing for adding many Prikry sequences with Radin forcing. This forcing satisfies Prikry like condition, destroys no cardinals, and has a kind of properness. Depending on the large cardinal we start with, this forcing can blow the power of a cardinal together with changing its' cofinality to a prescribe value. If this prescribed value is the cardinal itself then it remains regular and even can remain measurable.
36 pages, 4 figures

Keywords

Logic, 03E35; 03E55; 04A30

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/58559

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0001121
 http://arxiv.org/abs/math/0001121

Collections

arXiv