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.
URL:http://events.illc.uva.nl/settheory/ CONTACT:Lorenzo Galeotti at lorenzo.galeotti at gm ail.com END:VEVENT END:VCALENDAR