# List of Alfred Tarski Lectures

**2019 - Thomas Hales**

A formal proof of the Kepler conjecture

Formalizing mathematics

Integrating with Logic

**2018 - Hugh Woodin**

Ultimate L

The HOD Dichotomy

The Ultimate L Conjecture

**2017 - Lou van den Dries**

Model Theory as a Geography of Mathematics

Orders of Infinity and Transseries

Model Theory of Transseries: Results and Open Problems

**2016 - William W. Tait**

On Skepticism about the Ideal

Cut-Elimination for Subsystems of Classical Second-Order Number Theory: The Predicative Case

Cut-Elimination for Subsystems of Classical Second-Order Number Theory: Cut-Elimination for Π^1_1 − CA with the ω-Rule—and Beyond(?)

**2015 - Julia Knight**

Computability and complexity of mathematical structures

Comparing classes of countable structures

Computability and complexity of uncountable structures

**2014 - Stevo Todorcevic**

The Measurability Problem for Boolean Algebras

Chain-conditions of Horn-Tarski

Combinatorial and Set-theoretic Forcing

**2013 - Jonathan Pila**

Rational Points of Definable Sets and Diophantine Problems

Special Points and Ax-Lindemann

The Zilber-Pink Conjecture

**2012 - Per Martin-Löf**

Assertion and Inference

Propositions, Truth and Consequence

Tarski’s Metamathematical Reconstruction of the Notions of Truth and Logical Consequence

**2011 - Johan van Benthem**

General Lecture: Exploring Logical Dynamics

Logic and Computation: Fine-structure and Invariance

Logic in Games

**2010 - Gregory Hjorth**

The Theory of Borel Equivalence Relations in Modern Set Theory

Cardinality and Equivalence Relations

Classification Problems in Mathematics

Borel Equivalence Relations: Dichotomy Theorems and Structure

**2009 - Anand Pillay**

Compact Space, Definability, and Measures, in Model Theory

The Logic Topology

Lie Groups from Nonstandard Models

Measures and Domination

**2008 - Yiannis N. Moschovakis**

Lectures on the Foundations of the Theory of Algorithms

Algorithms and Implementations

English as a Programming Language

The Axiomatic Derivation of Absolute Lower Bounds

**2007 - Harvey M. Friedman**

Interpretations of Set Theory in Discrete Mathematics and Informal Thinking

Interpretations, According to Tarski.

Interpreting Set Theory in Discrete Mathematics: Boolean Relation Theory.

Interpreting Set Theory in Informal Thinking: Concept Calculus.

**2006 - Solomon Feferman**

Truth Unbound

The “Logic” Question

Real Computation

**2005 - Zlil Sela**

The Elementary Theory of a Free Group

Varieties Over Free Groups

AE Sentences and Quantifier Elimination

**2004 - Alexander S. Kechris**

New Connections Between Logic, Ramsey Theory, and Topological Dynamics

**2003 - Ralph Nelson McKenzie**

What is general algebra?(Three lectures)

**2002 - Boris Zilber**

Dimensions and homogeneity in mathematical structures

The fundamental trichotomy of Geometric Stability Theory, Zariski structures and Diophantine geometry

Pseudo-analytic structures and transcendental Number Theory

**2001 - Ronald Jensen**

On the Philosophical Foundations of Set Theory

Making cardinals w-Cofinal(Part 1)

Making cardinals w-Cofinal(Part 2)

**2000 - Alexander Razborov**

Complexity of Proofs and Computations

Interactive and Probabilistically Checkable proofs: A New Paradigm

Algebraic Proof Systems

**1999 - Patrick Suppes**

Invariance and Meaning

A Physical Model of the Brain’s Computation of Truth

**1998 - Angus MacIntyre**

Finite Fields and Model Theory

Nonstandard Frobenius Automorphisms

Logic and Intersection Theory

**1997 - Menachem Magidor**

The Future of Set Theory: Is Gödel’s Program Still Alive?

**1996 - Ehud Hrushovski**

Interpretations and Geometries

An Application to Diophantine Geometry

**1995 - Hilary Putnam**

PARADOX LOST? Truth and Hierachies

PARADOX LOST? Sets: Must It Be All or Nothing?

**1994 - Michael O. Rabin**

Trees, Decidability, and the Logic of Programs

The Truth and Nothing But the Truth: Zero Knowledge Proofs and User Authentication

**1993 - Alec James Wilkie**

On the Theory of the Real Field with Exponentiation and Other Analytic Functions

**1992 - Donald A. Martin**

Large Cardinals, Determinacy and the Role of Non-demonstrative

Evidence in Mathematics

**1991 - Bjarni Jónsson**

Boolean Algebras with Operators

**1991 - H. Jerome Keisler**

Model-Theoretic Forcing in Analysis

**1990 - Willard Van Orman Quine**

Reflections on Models and Logical Truth

**1989 - Dana Stewart Scott**

Wherein Lies the Foundations of Mathematics?

How Far Do We Need to Automate Proofs?

Can We Teach Geometry on the Computer?