Recent and upcoming talks by Charles Steinhorn

Set theoretic & Topological methods in Model Theory, Tezpur, September 7–12, 2017

The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, March 12, 2013 12:01 am Speaker: Hitoshi Omori Kobe University, Visiting Fellow, Grad Center, CUNY Title: Expanding the realm of the idea of da Costa Non-classical logics that deny ex falso quod libet are said to be paraconsistent. continue reading…