Anna-Maria Ammer:
The Colored Pseudospace
Zeit und Ort
Mittwoch, 20.9.17, 16:00-17:00, Raum 404, Eckerstr. 1
Zusammenfassung
A formula φ(x;y) is an equation in x, if its instances have the DIC: that is, the collection of finite intersections of instances has the descending chain condition. A theory is then equational if every formula is equivalent to a boolean combination of equations.\n\nThe colored pseudospace is one of only two known examples of stable, non-equational theories. It was introduced by Hrushovski and Srour in an unpublished paper. We will see an alternative axiomatization of the colored pseudospace as a colored lattice. This simplifies the proofs to some extent. Furthermore, we will see a criterion for non-equationality that requires no knowledge of Morley rank.