Harvard Logic Colloquium

We present a narrative of Georg Kreisel’s relation to Kurt Gödel, based on their correspondence. What appears to have been their first contact was Kreisel’s application in 1955 for a year’s membership at the Institute for Advanced Study. This was granted...

This talk discusses a new combinatorial proof of the existence of expander graphs, which can be carried out in the bounded arithmetic theory VNC 1 corresponding to alternating linear time. As an application, we prove that the monotone propositional...

Boris Zilber (Oxford): Between Model Theory and Physics There are several important issues in physics which model theory have potential to help with. First of all, there is the issue of adequate language and formalism, and closely related to this there is...

Donald Martin (UCLA): Cantor's Grundlagen Cantor’s early (1883) Grundlagen einer allgemeinen Mannigfaltigkeitslehre is badly organized and has important errors and omissions. Nevertheless it is rich in content, and its concepts are in some ways superior...

Dima Sinapova (University of Illinois at Chicago) Stronger tree properties and the SCH

Aki Kanamori (Boston Univeristy) Aspect-perception and the History of Mathematics

Steve Jackson (University of North Texas) Combinatorics of Definable Sets

Victoria Gitman (CUNY Graduate Center): Virtual Large Cardinal Principles

Nomy Arpaly (Brown): On Benevolence

Theodore A. Slaman (University of California Berkeley): Recursion Theory and Diophantine Approximation Recursion Theory deals with the definability of sets, especially sets of natural numbers or equivalently real numbers. Diophantine Approximation deals...