Louise Hay Logic Seminar
Ryan Carpenter
UIC
Modal Model Theory: A Potential Foundation for Mathematics?
Abstract: In this talk, I will introduce the system of modal model theory, an augmented style of first-order logic with remarkable expressive power and desirable model-theoretic properties. We will focus on one particular system of modal model theory: modal graph theory. As it turns out, modal graph theory interprets a very large portion of set-theoretic truth; we investigate whether modal graph theory can interpret full set-theoretic truth, and therefore whether it may serve as the foundation for mathematics.
Monday March 6, 2023 at 4:00 PM in 612 SEO