Publications > Preprint server > Preprint Number 250
Preprint Number 250
250. Vincent Guingona
On uniform definability of types over finite sets
Submission date: 26 May 2010.
In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called uniform definability of types over finite sets (UDTFS). We explore UDTFS and show how it relates to well-known properties in model theory. We recall that stable theories and weakly o-minimal theories have UDTFS and UDTFS implies dependence. We then show that all dp-minimal theories have UDTFS.
Mathematics Subject Classification: 03C45
Keywords and phrases: UDTFS, dp-minimal, definability of types, NIP, dependent, indiscernible sequences, VC-density
|Last updated: May 27 2010 14:12||Please send your corrections to:|