Skip to main content

Ichiro Ikeda : NSOP_4 and the Hrushovski construction

Posted by , part of the Logic Seminar.

At
June 24, 2011, 11 a.m.
In
SEO 612
Abstract
Evans-Wong proved that the generic structure M_f defined by a control function f always has NSOP_4. It is easily seen that the theory of M_f is omega-categorical, and hence it has finite closure. I will show that if the theory of a generic structure has finite closure, then it has NSOP_4.