Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.