Seminar

We show that if a strongly minimal theory has one recursive model then every model is recursive in 0^(3). In a special cases we can lower this bound to 0^(2). This answers a long-standing open question in recursive model theory. The analysis uses both model theoretic ideas as well as some recursion theoretic techniques. I will try to explain this interplay without assuming recursion theory knowledge beyond the existence of a Halting set, whose role I will briefly review.  (Work joint with Julia F. Knight)