# Andrés Caicedo: Finitary mathematics

Thursday, February 21 from 1:30 to 2:30pm
Room: B-309
Speaker: Andrés Caicedo
Title: Finitary mathematics

Abstract: $\mathsf{ZF}_{\mathsf{fin}}$ is the standard formalization of finitary mathematics; it replaces the axiom of infinity in $\mathsf{ZF}$ with its negation. This theory is bi-interpretable with $\mathsf{PA}$, Peano Arithmetic.

This is an expository talk that explains how this bi-interpretability (going back to Ackermann) works, and highlights some of the subtleties that appear along the way.