Extender-based Magidor-Radin forcing

From MaRDI portal
Publication:532622