![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Cool Japan 2007 (MIT-Harvard), Feb.28-Mar.3 ( Read more... )
Tutorials on forcing ( Read more... )
Update: A small piece of the "forcing story": Skolem's paradox -- a powerset of a countable set is uncountable, so the existence of a countable model of formal set theory seems to yield a paradox.
Tutorials on forcing ( Read more... )
Update: A small piece of the "forcing story": Skolem's paradox -- a powerset of a countable set is uncountable, so the existence of a countable model of formal set theory seems to yield a paradox.
![[info]](https://stat.livejournal.com/img/userinfo.gif){kind=small}
