check
Logic Seminar - Shahar Oriel | Einstein Institute of Mathematics

Logic Seminar - Shahar Oriel

Date: 
Wed, 22/05/201911:00-13:00
Location: 
Ross 63
An omega-categorical strictly stable pseudo-plane

Lachlan conjectured that any omega-categorical stable theory is even omega-stable. Later in 1980 it was shown that there is no omega-categorical omega-stable pseudo plane. In 1988, Hrushovski refuted Lachlan's conjecture by constructing an omega-categorical, strictly stable pseudo-plane.

We will give a quick overview of the construction and try to use this example to test if some properties of omega-categorical  omega-stable theories lift to omega-categorical stable theories.