Time: Wednesday, February 8, 11:00 am-12:00 noon
Place: Rome 350
Speaker: Philip White, GWU
Title: Ash-Nerode Type of Results
Abstract: Last week during the graduate student seminar we gave some background information and surveyed the development of computable model theory. We specifically discussed the problem of “syntactically characterizing computability theoretic properties” (sometimes called Ash-Nerode style problems). We will now give detailed proofs of some results of this kind.