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/2019/newsitem/11378/17
-December-2019-Set-Theory-Seminar-Hrafn-Oddsson
DTSTAMP:20191212T213500
SUMMARY:Set Theory Seminar, Hrafn Oddsson
ATTENDEE;ROLE=Speaker:Hrafn Oddsson
DTSTART;TZID=Europe/Amsterdam:20191217T143000
DTEND;TZID=Europe/Amsterdam:20191217T153000
LOCATION:ILLC Seminar Room F1.15, Science Park 107
, Amsterdam
DESCRIPTION:Abstract: A paradefinite logic is a lo
gic that is both paraconsistent and paracomplete.
In this talk we introduce a framework for models o
f paradefinite set theories based of Thierry Liber
t's work in paraconsistent set theory. We then pre
sent a model of paradefinite set theory which can
be seen as the result of enriching the classical v
on Neumann universe of sets with various non-class
ical sets. We will also discuss the axiomatization
of the theory of this model.
X-ALT-DESC;FMTTYPE=text/html:\n Abstract: A pa
radefinite logic is a logic that is both paraconsi
stent and paracomplete. In this talk we introduce
a framework for models of paradefinite set theorie
s based of Thierry Libert's work in paraconsistent
set theory. We then present a model of paradefini
te set theory which can be seen as the result of e
nriching the classical von Neumann universe of set
s with various non-classical sets. We will also di
scuss the axiomatization of the theory of this mod
el.

\n
URL:http://events.illc.uva.nl/settheory/
CONTACT:Lorenzo Galeotti at lorenzo.galeotti at gm
ail.com
END:VEVENT
END:VCALENDAR