Supercompact Extender Based Magidor-Radin Forcing
arXiv:1608.00518
Abstract
The extender based Magidor-Radin forcing is being generalized to supercompact type extenders.
arXiv:1608.00518
The extender based Magidor-Radin forcing is being generalized to supercompact type extenders.