CT Logic Seminar, Vincent Guingona (Wes): "A Local Characterization of VC-Minimality"

Monday, September 21, 2015
4:45 PM - 6:00 PM (ET)
Exley Science Center (Tower)
Event Type
Seminar/Colloquium
Contact
Caryn Canalia
Link
https://eaglet.wesleyan.edu/MasterCalendar/EventDetails.aspx?EventDetailId=64438

Abstract: (Joint work with Uri Andrews)  This talk is in the intersection of computable model theory and neostability theory.  I discuss VC-minimality, a model-theoretic notion of complexity for theories that generalizes o-minimality and is generalized by dp-minimality and NIP.  Unlike o-minimality and dp-minimality, a priori, it is difficult to determine if a given theory is VC-minimal.  In computability terms, the definition of VC-minimality, in its original form, is Sigma_1^1.  However, my coauthor and I show that VC-minimality is, in fact, Pi^0_4-complete by giving a local characterization (for countable languages).  This leads to a list of examples of theories whose VC-minimality is determined.

CT Logic Seminar, Vincent Guingona (Wes): "A Local Characterization of VC-Minimality" 4:45 PM - 6:00 PM (ET)
Exley Science Center (Tower)
265 Church Street, Middletown, CT 06457
Get Directions
Event Date
Event Time
Title
Building