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 B.vandenBerg3 at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.