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

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

Full text: pdf, dvi, ps.

Last updated: March 23 2021 10:21 Please send your corrections to: