IPM

                                پژوهشگاه دانش‌های بنیادی
پژوهشکدهٔ ریاضیات


Mathematical Logic Weekly Seminar سمینار هفتگی منطق ریاضی




TITLE  
${\sf MM}^{++}$ implies ($\star$)


SPEAKER  
Ralf Schindler  
University of Munster, Germany  
 


TIME  
Wednesday, October 23, 2019,   15:30 - 17:30


VENUE   Lecture Hall 1, Niavaran Bldg.



SUMMARY

 

We show that Martin's Maximum${}^{++}$ implies Woodin's ${\mathbb P}_{\rm max}$ axiom ($\star$). This is joint work with David Aspero.

 




تهران، ضلع‌ جنوبی ميدان شهيد باهنر (نياوران)، پژوهشگاه دانش‌های بنيادی، پژوهشکده رياضيات
School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Niavaran Bldg., Niavaran Square, Tehran
ipmmath@ipm.ir   ♦   +98 21 22290928   ♦  math.ipm.ir