1![POWER SET AT ℵω : ON A THEOREM OF WOODIN MOHAMMAD GOLSHANI Abstract. We give Woodin’s original proof that if there exists a (κ+2)−strong cardinal κ, then there is a generic extension of the universe in which κ POWER SET AT ℵω : ON A THEOREM OF WOODIN MOHAMMAD GOLSHANI Abstract. We give Woodin’s original proof that if there exists a (κ+2)−strong cardinal κ, then there is a generic extension of the universe in which κ](https://www.pdfsearch.io/img/a09c843ecdc5967b98dd113fc926288a.jpg) | Add to Reading ListSource URL: math.ipm.ac.irLanguage: English - Date: 2016-01-16 04:00:44
|
---|
2![Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice](https://www.pdfsearch.io/img/0202f51fe8da8e4fe0b46b7b533b35b2.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2003-04-29 07:49:46
|
---|
3![Derived models associated to mice J.R. Steel June 10, 2005 Derived models associated to mice J.R. Steel June 10, 2005](https://www.pdfsearch.io/img/7b72e7c836b8cf1dbee6648e765678f0.jpg) | Add to Reading ListSource URL: www.ims.nus.edu.sgLanguage: English - Date: 2010-01-12 23:03:20
|
---|
4![Derived models associated to mice J.R. Steel June 26, 2005 Derived models associated to mice J.R. Steel June 26, 2005](https://www.pdfsearch.io/img/6546f9e6e84804a5aa43e73c3167b148.jpg) | Add to Reading ListSource URL: www.ims.nus.edu.sgLanguage: English - Date: 2010-01-12 23:03:19
|
---|
5![Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010](https://www.pdfsearch.io/img/b4df34f16d5291482e3b1210bf7e0c4f.jpg) | Add to Reading ListSource URL: www.mathunion.orgLanguage: English - Date: 2013-04-24 07:33:10
|
---|
6![Incompatible Ω-Complete Theories∗ Peter Koellner and W. Hugh Woodin July 25, 2009 Incompatible Ω-Complete Theories∗ Peter Koellner and W. Hugh Woodin July 25, 2009](https://www.pdfsearch.io/img/32d99d88ff9302dfaa29a7e22328514d.jpg) | Add to Reading ListSource URL: logic.harvard.eduLanguage: English - Date: 2011-09-20 00:26:33
|
---|
7![Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010](https://www.pdfsearch.io/img/b929a9f80649ec16c93cb908587890c7.jpg) | Add to Reading ListSource URL: logic.harvard.eduLanguage: English - Date: 2011-09-20 00:26:33
|
---|
8![? W H A T ? W H A T](https://www.pdfsearch.io/img/3f4d6c5b44ed44542b35e01f326b6ee6.jpg) | Add to Reading ListSource URL: www.ams.orgLanguage: English - Date: 2008-01-24 13:13:56
|
---|