應用邏輯討論會系列 (XLII) - On Weak Fragments of Set Theory and Arithmetic
- 講者Zlatan Damnjanovic 教授 (Department of Philosophy, Dana and David Dornsife College of Letters, Arts and Sciences, University of Southern California)
邀請人:廖純中 - 時間2019-05-10 (Fri.) 15:30 ~ 17:30
- 地點資訊所新館106演講廳
摘要
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.