1 citations · 1 across the 4 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016
Supercompact Extender Based Magidor-Radin Forcing
Carmi Merimovich
The extender based Magidor-Radin forcing is being generalized to supercompact type extenders.
math.LO2016
Some applications of Supercompact Extender Based Forcings to HOD
Moti Gitik, Carmi Merimovich
Supercompact extender based forcings are used to construct models with HOD cardinal structure different from those of V. In particular, a model with all regular uncountable cardina…