Prikry On Extenders, Revisited
classification
🧮 math.LO
keywords
prikrycardinalextenderextendersforcingaddedaddingallowing
read the original abstract
We present a modification to the Prikry on Extenders forcing notion allowing the blow up of the power set of a large cardinal, change its cofinality to omega without adding bounded subsets, working directly from arbitrary extender (e.g., n-huge extender). Using this forcing, starting from a superstrong cardinal, we construct a model in which the added Prikry sequences are a scale in the normal Prikry sequence.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.