Applied Logics Seminar Series(XLII) -- On Weak Fragments of Set Theory and Arithmetic
- LecturerProf. Zlatan Damnjanovic (Department of Philosophy, Dana and David Dornsife College of Letters, Arts and Sciences, University of Southern California)
Host: Churn-Jung Liau - Time2019-05-10 (Fri.) 15:30 ~ 17:30
- LocationAuditorium106 at IIS new Building
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.