BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2008/newsitem/2448/14-
 August-2008-Topological-semantics-for-polymodal-pr
 ovability-logic-and-infinitary-combinatorics-Lev-B
 eklemishev-Moskou-Münster-
DTSTAMP:20080806T000000
SUMMARY:Topological semantics for polymodal provab
 ility logic and infinitary combinatorics, Lev Bekl
 emishev (Moskou, Münster)
ATTENDEE;ROLE=Speaker:Lev Beklemishev (Moskou, Mün
 ster)
DTSTART;TZID=Europe/Amsterdam:20080814T150000
DTEND;TZID=Europe/Amsterdam:20080814T160000
LOCATION:Room P-0.14, Euclides Building, Plantage 
 Muidergracht 24, Amsterdam
DESCRIPTION:Lev Beklemishev will report on a work 
 in progress (jointly with Thomas Icard) on the pro
 blem of finding a complete topological semantics o
 f polymodal provability logic GLP (due to Giorgi J
 aparidze). They isolate the concept of a GLP-space
  that turns out to encompass some structures promi
 nent in set theory and ininitary combinatorics. In
  particular, the most natural "ordinal GLP spaces"
  are tightly related to the so-called stationary r
 eflection principles. The existence of a complete 
 semantics for GLP, and the mere nontriviality of t
 opologies involved, is then dependent on various (
 large cardinal) axioms outside ZFC.    For more in
 formation, please contact karin at science.uva.nl
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 Lev Beklemishev will report on a work in progress 
 (jointly with Thomas Icard) on the problem of find
 ing a complete topological semantics of polymodal 
 provability logic GLP (due to Giorgi Japaridze). T
 hey isolate the concept of a GLP-space that turns 
 out to encompass some structures prominent in set 
 theory and ininitary combinatorics. In particular,
  the most natural &quot;ordinal GLP spaces&quot; a
 re tightly related to the so-called stationary ref
 lection principles. The existence of a complete se
 mantics for GLP, and the mere nontriviality of top
 ologies involved, is then dependent on various (la
 rge cardinal) axioms outside ZFC.\n      </p>\n   
  \n      <p>\n        For more information, please
  contact <a class="email">karin <span class="at">a
 t</span> science.uva.nl</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2008/newsitem/2448/14-
 August-2008-Topological-semantics-for-polymodal-pr
 ovability-logic-and-infinitary-combinatorics-Lev-B
 eklemishev-Moskou-Münster-
END:VEVENT
END:VCALENDAR