Recent and upcoming talks by Charles Steinhorn

Set Theory, Model Theory and Applications (In memory of Mati Rubin), Eilat, April 22-26, 2018

RESEARCH WORKSHOP OF THE ISRAEL SCIENCE FOUNDATION Set Theory, Model Theory and Applications (In memory of Mati Rubin)   The international conference “Set Theory, Model Theory and Applications,” in memory of our late colleague Mati Rubin, will take place at the Eilat Campus of Ben-Gurion University of the Negev (Israel) from 22 – 26 April, 2018. continue reading…

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…