Ohio State is in the process of revising websites and program materials to accurately reflect compliance with the law. While this work occurs, language referencing protected class status or other activities prohibited by Ohio Senate Bill 1 may still appear in some places. However, all programs and activities are being administered in compliance with federal and state law.

Logic Seminar - Owain Griffin

owain
Tue, January 27, 2026
2:00 pm - 3:00 pm
Dulles Hall 027

230 Annie and John Glenn Ave, Columbus, OH 43210

Owain Griffin
The Ohio State University 
Department of Philosophy

Title
Uniqueness and determinacy results in intuitionistic mathematics

Abstract
In this talk I will briefly introduce and motivate some of the main distinguishing features of intuitionistic mathematics. I will then show that by adopting this style of reasoning one is led to a number of interesting results which diverge significantly from more familiar classical theorems. Chief among these, I will discuss a model-theoretic result due to McCarty (1988) demonstrating that intuitionistic ('Heyting') Arithmetic is categorical at first-order. If there is time, I will comment on the significance I take this result to have for philosophers.

For More Information About the Seminar
 

Filed in: