BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/9876/25-April-2018-Algebra|Coalgebra-Seminar-Sam-
van-Gool
DTSTAMP:20180419T174631
SUMMARY:Algebra|Coalgebra Seminar, Sam van Gool
ATTENDEE;ROLE=Speaker:Sam van Gool
DTSTART:20180425T160000
DTEND:20180425T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
rdam
DESCRIPTION:We prove an open mapping theorem for t
he topological spaces dual to finitely presented H
eyting algebras. This yields in particular a short
, self-contained semantic proof of the uniform int
erpolation theorem for intuitionistic propositiona
l logic, first proved by Pitts in 1992. Our proof
is based on the methods of Ghilardi & Zawadowski.
However, our proof does not require sheaves nor ga
mes, only basic duality theory for Heyting algebra
s.
X-ALT-DESC;FMTTYPE=text/html:\n We prove an op
en mapping theorem for the topological spaces dual
to finitely presented Heyting algebras. This yiel
ds in particular a short, self-contained semantic
proof of the uniform interpolation theorem for int
uitionistic propositional logic, first proved by P
itts in 1992. Our proof is based on the methods of
Ghilardi & Zawadowski. However, our proof doe
s not require sheaves nor games, only basic dualit
y theory for Heyting algebras.

\n
URL:http://events.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen at f.m.lauridsen at uva
.nl
END:VEVENT
END:VCALENDAR