The Logic of Star From Martin's Maximum Double Plus

Asporog and schindler's works started when they were young researchers together at an institute in vienna, 20 years ago. Their proof germinated several years later after Schindler read a manuscript by set theorist ronald jenson. They could break up the forcing into a sequence of forcings, each satisfying necessary conditions. Aspero remembers feeling confident that this ingredient would make the proof work. The convergence of martin's maximum double plus, or m m double plus, and star creates a solid foundation for a tower of infinities.