Supercompact Extender Based Magidor-Radin Forcing

Abstract

The extender based Magidor-Radin forcing is being generalized to supercompact type extenders.