Meaning in Mathematics: a folkloric account

In this project, I develop an account of meaning in mathematics where the meaning of a mathematical statement, relative to some class of models, is the set of such models which make it true. This is a large project which I plan to write my dissertation on.

I have given/ will give the follow talks on this project at the following conferences:
Formalization in Logic, Language, and Mathematics, Archives Henri-Poincaré, September 2022 
Graduate Student Conference in Logic GSLC XXIII, University of Illinois Chicago, April 2023

Slides for this talk can be downloaded at the link below.

Rationality and the Reverse Mathematics of Nash Equilibria

In this project, I prove a new theorem regarding the non-computability of Nash equilibria in game theory and discuss the implications of this result on the interpretation of such equilibrium strategies as rationally recommended.

The paper version is currently under review. The poster version was presented at the Formal Epistemology Workshop (FEW) 2022 and can be downloaded at the link below.