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.
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.