Sarah Cotter : VC-minimality and forking

Posted by , part of the Logic Seminar.

At

March 6, 2012, 4 p.m.

In

SEO 427

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.