Logic Seminar
Sarah Cotter
University of Notre Dame
VC-minimality and forking
Abstract: A VC-minimal theory is one in which a directed family of definable sets generates all one-variable definable sets. We will look at some examples of VC-minimal theories, see how VC-minimality relates to other model-theoretic notions, and consider a specific class of VC-minimal theories which have additional nice structural properties. Finally, we'll outline the proof of a result characterizing forking over models in terms of definable types.
Tea will be held at 2:30pm in SEO300. Please contact lynn@math.uic.edu if you are interested in attending lunch or dinner with the speaker.
Tuesday March 6, 2012 at 4:00 PM in SEO 427