Extender-based Magidor-Radin forcings without top extenders

Abstract

Continuing \cite{GitJir22}, we develop a version of Extender-based Magidor-Radin forcing where there are no extenders on the top ordinal. As an application, we provide another approach to obtain a failure of SCH on a club subset of an inaccessible cardinal, and a model where the cardinal arithmetic behaviors are different on stationary classes, whose union is the club, is provided. The cardinals and the cofinalities outside the clubs are not affected by the forcings.

32 pages