BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/2448/14-August-2008-Topological-semantics-for-pol
ymodal-provability-logic-and-infinitary-combinator
ics-Lev-Beklemishev-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:20080814T150000
DTEND: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 \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 "ordinal GLP spaces" 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

\n
\n \n For more information, please
contact karin a
t science.uva.nl\n

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/2448/14-August-2008-Topological-semantics-for-pol
ymodal-provability-logic-and-infinitary-combinator
ics-Lev-Beklemishev-Moskou-Münster-
END:VEVENT
END:VCALENDAR