Logic Seminar
Ichiro Ikeda
NSOP_4 and the Hrushovski construction
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.
Friday June 24, 2011 at 11:00 AM in SEO 612