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. The combinatorial character of these constructions place many of them in the rich reverse mathematical world of principles provable from Ramsey’s Theorem for Pairs.