Estoy buscando una lista completa de nociones de forzamiento conocidas que agreguen un real mínimo al modelo básico. Conozco a algunos de ellos como el forzamiento de Sacks, o el ejemplo de Judah-Shelah de un forzamiento de CCC que agrega un mínimo real (y algunos más).
Pregunta. ¿Cuáles son otros ejemplos conocidos (o menos conocidos) de nociones forzadas que añaden un real genérico mínimo?
