Institute of Information Science Academia Sinica
Topic: Applied Logics Seminar Series(XLII) -- On Weak Fragments of Set Theory and Arithmetic
Speaker: Prof. Zlatan Damnjanovic (Department of Philosophy, Dana and David Dornsife College of Letters, Arts and Sciences, University of Southern California)
Date: 2019-05-10 (Fri) 15:30 – 17:30
Location: Auditorium106 at IIS new Building
Host: Churn-Jung Liau

Abstract:

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. The talk presents a new method of simulating inductive reasoning in logically weak subsystems of set theory and arithmetic.