2019
Jan
09

# Set Theory Seminar - Ur Yaar (Set Theory Seminar - Ur Yaar Set Theory Seminar - Ur Yaar Set Theory Seminar - Ur Yaar Set Theory Seminar - Ur Yaar Set Theory Seminar - Ur Yaar )Set Theory Seminar - Ur Yaar Set Theory Seminar - Ur Yaar

2:00pm to 3:30pm

## Location:

Ross 73

Title: The Modal Logic of Forcing (Part III) Abstract: Modal logic is used to study various modalities, i.e. various ways in which statements can be true, the most notable of which are the modalities of necessity and possibility. In set-theory, a natural interpretation is to consider a statement as necessary if it holds in any forcing extension of the world, and possible if it holds in some forcing extension. One can now ask what are the modal principles which captures this interpretation, or in other words - what is the "Modal Logic of Forcing"?