|Prof. dr. Benedikt Löwe
|Dr. Lorenzo Galeotti
|Dr. Yurii Khomskii
|Robert Passmann, M.Sc.
|Ned Wontner, M.Math.Phil. M.Phil.
|Fri 25 Oct. 12-13 Room F1.15
|Stranger Things: The ZF-verse obtained by adding just one Cohen to L
|Abstract: Adding a single Cohen real to L provides us with a lattice of intermediate models, but if we only consider models of ZFC, these models are all somehow very similar (except L itself). Without assuming the Axiom of Choice in those intermediate models we have a very different picture. We will discuss the construction of the Bristol model, which is a model between L and L[c], which does not have the form L(x) for any set x.
|Tue 17 Dec. 14:30 Room F1.15
|A Model for Paradefinite Set Theory
|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.