Please note that this newsitem has been archived, and may contain outdated information or links.
17 December 2019, Set Theory Seminar, Hrafn Oddsson
Speaker: Hrafn Oddsson
Title: A Model for Paradefinite Set Theory
Date: Tuesday 17 December 2019
Time: 14:30-15:30
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
Abstract: A paradefinite logic is a logic that is both paraconsistent and paracomplete. In this talk we introduce a framework for models of paradefinite set theories based of Thierry Libert's work in paraconsistent set theory. We then present a model of paradefinite set theory which can be seen as the result of enriching the classical von Neumann universe of sets with various non-classical sets. We will also discuss the axiomatization of the theory of this model.
For more information, see
http://events.illc.uva.nl/settheory/
or contact Lorenzo Galeotti at lorenzo.galeotti at gmail.com.
Please note that this newsitem has been archived, and may contain outdated information or links.