Joel David Hamkins

The elementary theory of surreal arithmetic is bi-interpretable with set theory, Kobe, Japan, September 2025

Did Turing ever halt? HPS Colloquium, Notre Dame, October 2025

The computable surreal numbers, Fudan University, July 2025

Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025

Lecture series on the philosophy of mathematics

How the continuum hypothesis might have been a fundamental axiom, Lanzhou China, July 2025

Potentialist conceptions of infinity, Peking University, June 2025

Lectures on Set Theory, Beijing, June 2025

Skolem’s paradox and the countable transitive submodel theorem, Leeds Set Theory Seminar, May 2025

The Church of Logic podcast, April 2025

A potentialist conception of ultrafinitism, Columbia University, April 2025

The hierarchy of consistency strengths for membership in a computably enumerable set, Oxford Logic Seminar, May 2025

Introduction to modal model theory, Panglobal Algebra and Logic Seminar, Boulder, March 2025

2025 William Reinhardt Memorial Lecture, Boulder

On Skolem’s paradox and the transitive submodel theorem, Rust Belt Workshop in the Philosophy of Logic, Language, and Mathematics, February 2025