Talks
Talks
The Borel Complexity of the Class of Models of First-order Theories
The Borel Complexity of the Class of Models of First-order Theories
Talk given at:Â
(1) GSCL 24, UW-Madison, on April 24, 2024.
(2) Logic Seminar, UW-Madison, on February 6, 2024. Video.
BorelCx.pdfContinuum Hypothesis: On Platonism and Pluralism
Continuum Hypothesis: On Platonism and Pluralism
Talk given at Graduate Logic Seminar, UW-Madison, on October 2, 2023.
CH.pdfComputable Linear Orders
Computable Linear Orders
Talk given at Graduate Logic Seminar, UW-Madison, on April 17, 2023.
23S_975.pdfAre We Talking about the Same Natural Number(s)?
Are We Talking about the Same Natural Number(s)?
Talk given at the 23rd Graduate Student Conference in Logic, University of Illinois at Chicago, on April 15, 2023.
GSCL23.pdfInvestigating Natural Theories through the Consistency Operator
Investigating Natural Theories through the Consistency Operator
Talk given at Graduate Logic Seminar, UW-Madison, on October 24, 2022.
ConsistencyOperator.pdf