MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 250

Preprint Number 250

Previous Next Preprint server


250. Vincent Guingona
On uniform definability of types over finite sets
E-mail:

Submission date: 26 May 2010.

Abstract:

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

Full text: pdf, dvi, ps.


Last updated: May 27 2010 14:12 Please send your corrections to: