Gabriel Conant : Non-simple NTP1 theories

Posted by Gabriel Conant , part of the Louise Hay Logic Seminar.

At

Jan. 23, 2014, 3 p.m.

In

SEO 427

Abstract

We define dividing lines in first order theories that create a region ripe with open questions and interesting examples, in particular: infinitely parameterized equivalence relations, $\omega$-free pseudo-algebraically closed fields, and infinite dimensional vector spaces with a bilinear form.