Recent and upcoming talks by Denis Hirschfeldt

Logic Colloquium 2017, August 14-20, 2017

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. continue reading…

South-Eastern Logic Colloquium 2015, February 28 – March 1, 2015

The South-Eastern Logic Colloquium 2015 will take place during the weekend of February 28/ March 1, 2015, at University of Florida, Gainesville, FL. We will also have a colloquium talk on Friday February 27 4pm by Henry Towsner.   continue reading…

Denis Hirschfeldt: The reverse mathematics of realizing and omitting types.

Shalom, We hold seminar on Tuesday , June 26, time 16:00-17:30, seminar room: 201. Speaker: Denis Hirschfeldt (University of Chicago) Title: The reverse mathematics of realizing and omitting types. Abstract: I will discuss recent work on the computability theoretic and proof theoretic strength of constructions of special models (such as atomic and homogeneous models) that involve realizing and omitting types. continue reading…