Hostname: page-component-848d4c4894-75dct Total loading time: 0 Render date: 2024-06-08T20:04:31.158Z Has data issue: false hasContentIssue false
  • English
  • Français

On uniform definability of types over finite sets

Published online by Cambridge University Press:  12 March 2014

Vincent Guingona
Vincent Guingona*
Affiliation:
Department of Mathematics, University of Maryland, College Park, MD 20742, USA, E-mail: guingona.l@nd.edu, URL: http://www.nd.edu/~vguingon/
*
Department of Mathematics, University of Notre Dame, 255 Hurley, Notre Dame, IN 46556, USA
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 77 , Issue 2 , June 2012 , pp. 499 - 514
Copyright
Copyright © Association for Symbolic Logic 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Adler, H., Theories controlled by formulas of Vapnik–Chervonenkis codimension 1, preprint, 07 2008.Google Scholar
[2] Dolich, A., Goodrick, J., and Lippel, D., dp-Minimality: Basic facts and examples, preprint, 07 2009.Google Scholar
[3] Goodrick, J., A monotonicity theorem for dp-minimal densely ordered groups, this Journal, vol. 75 (2010), no. 1, pp. 221–238.Google Scholar
[4] Johnson, H. R. and Laskowski, M. C., Compression schemes, stable definable families, and o-minimal structures, Discrete & Computational Geometry, vol. 43 (2010), pp. 914–926.Google Scholar
[5] Onshuus, A. and Usvyatsov, A., On dp-minimality, strong dependence, and weight, this Journal, vol. 76 (2011), no. 3, pp. 737–758.Google Scholar
[6] Shelah, S., Classification theory and the number of non-isomorpkic models, North-Holland Publishing Company, 1978.Google Scholar
[7] Simon, P., On dp-minimal ordered structures, preprint, 09 2009.Google Scholar