News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

14 May 2018, Colloquium on Mathematical Logic, Zlatan Damnjanovic

Speaker: Zlatan Damnjanovic (University of Southern California)
Title: On Weak Fragments of Set Theory and Arithmetic
Date: Monday 14 May 2018
Time: 14:00-15:00
Location: F1.15, Science Park 107

An elementary theory of concatenation, QT+, is introduced and used to establish mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory of Montagna and Mancini, quantifier-free part of Kirby’s finitary set theory, and Adjunctive Set Theory, with or without extensionality.

For more information, see https://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg at .

Please note that this newsitem has been archived, and may contain outdated information or links.