pith. sign in

arxiv: math/9502232 · v1 · pith:NO3PSFZGnew · submitted 1995-02-15 · 🧮 math.LO

On the strong equality between supercompactness and strong compactness

classification 🧮 math.LO
keywords kappalambdamodelssupercompactregularstrongsupercompactnesscardinals
0
0 comments X
read the original abstract

We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V models ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and cofinality preserving generic extension V[G] models ZFC + GCH in which, (a) (preservation) for kappa <= lambda regular, if V models ``kappa is lambda supercompact'', then V[G] models ``kappa is lambda supercompact'' and so that, (b) (equivalence) for kappa <= lambda regular, V[G] models ``kappa is lambda strongly compact'' iff V[G] models ``kappa is lambda supercompact'', except possibly if kappa is a measurable limit of cardinals which are lambda supercompact.

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.