BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Ical
BEGIN:VTIMEZONE
TZID:Asia/Jerusalem
BEGIN:STANDARD
DTSTART:20181028T020000
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:IST
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20190329T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:IDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.72567.field_date.0@mathematics.huji.ac.il
DTSTAMP:20210308T090439Z
CREATED:20190107T230014Z
DESCRIPTION:Date: \n\n2:00pm to 3:30pm\n\n\nSee also: Seminars\, Events &
Seminars\, Set TheoryLocation: \n\nRoss 73\n\n\nTitle: The Modal Logic of
Forcing (Part III)\nAbstract: Modal logic is used to study various modali
ties\, i.e. various ways in which statements can be true\, the most notabl
e of which are the modalities of necessity and possibility. In set-theory\
, a natural interpretation is to consider a statement as necessary if it h
olds in any forcing extension of the world\, and possible if it holds in s
ome forcing extension. One can now ask what are the modal principles which
captures this interpretation\, or in other words - what is the 'Modal Log
ic of Forcing'?\nWe can also restrict ourselves only to a certain class of
forcing notions\, or to forcing over a specific universe\, resulting in a
n abundance of questions to be resolved.\nWe will begin with a short intro
duction to modal logic\, and then present the tools developed by Joel Hamk
ins and Benedikt Loewe to answer these questions. We will present their an
swer to the original question\, and then move to focus on the class of sig
ma-centered forcings\, which I investigated in my Master's thesis.
DTSTART;TZID=Asia/Jerusalem:20190109T140000
DTEND;TZID=Asia/Jerusalem:20190109T153000
LAST-MODIFIED:20190108T122440Z
SUMMARY:Set Theory Seminar - Ur Yaar (Set Theory Seminar - Ur Yaar Set Theo
ry 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
URL;TYPE=URI:https://mathematics.huji.ac.il/event/set-theory-seminar-ur-yaa
r-3
END:VEVENT
END:VCALENDAR