James Freitag : Nontrivial types of U-rank 1

Posted by , part of the Louise Hay Logic Seminar.

At

Oct. 28, 2010, 3 p.m.

In

SEO 612

Abstract

We will continue to talk about nontrivial U-rank 1 types. The goal is to get through the first main result of the paper, having covered the back round material in the previous three meetings. We will have tea to start.