2018
Dec
26

# Set Theory Seminar - Ur Yaar (The Modal Logic of Forcing)

2:00pm to 3:30pm

## Location:

Ross 63

**Title:**The Modal Logic of Forcing

**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"?