Louise Hay Logic Seminar
Gabriel Conant
UIC
Non-simple NTP1 theories
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.
Thursday January 23, 2014 at 3:00 PM in SEO 427