Louise Hay Logic Seminar

Hunter Chase
UIC
Forking in NTP2 Theories
Abstract: We will discuss forking and other notions of independence. We will discuss combinatorial notions that are useful in classifying theories. We will discuss how forking and other notions of independence behave in these theories, with the aim of showing that forking equals dividing over nicely behaved sets (including models) in NTP2 theories.
Thursday March 9, 2017 at 4:00 PM in SEO 427
HTML 5 CSS FAE
UIC LAS MSCS > seminars >