Andres Villaveces : Dependent theories and classes

Posted by John Baldwin , part of the Louise Hay Logic Seminar.

At

June 29, 2012, 11 a.m.

In

SEO 1227

Abstract

Theories without the independence property have been at the forefront of research in model theory (both in generalizations of stability theory and in the breadth of applications they have provided) during the past few years. Beyond First Order, very little has been done. I will provide some new definitions, basic facts and questions. A bit will be added on recent work on the Tree Property of the Second Kind.

Lunch after probably at Joy Yee