Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Generically stable and smooth measures in NIP theories

Authors: Ehud Hrushovski, Anand Pillay and Pierre Simon
Journal: Trans. Amer. Math. Soc. 365 (2013), 2341-2366
MSC (2010): Primary 03C68, 03C45, 22C05, 28E05
Published electronically: December 13, 2012
MathSciNet review: 3020101
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We formulate the measure analogue of generically stable types in first order theories with $ NIP$ (without the independence property), giving several characterizations, answering some questions from an earlier paper by Hrushovski and Pillay, and giving another treatment of uniqueness results from the same paper. We introduce a notion of ``generic compact domination'', relating it to stationarity of the Keisler measures, and also giving definable group versions. We also prove the ``approximate definability'' of arbitrary Borel probability measures on definable sets in the real and $ p$-adic fields.

References [Enhancements On Off] (What's this?)

  • 1. H. Adler, Introduction to theories without the independence property, to appear in Archive Math. Logic.
  • 2. I. Ben-Yaacov, Continuous and random Vapnik-Chervonenkis classes, Israel J. Math. 173 (2009), 309-333. MR 2570671
  • 3. I. Ben-Yaacov, Transfer of properties between measures and random types, preprint.
  • 4. I. Ben Yaacov and H.J. Keisler, Randomization of models as metric structures, Confluentes Mathematici 1 (2009), 197-223,. MR 2561997
  • 5. F. Delon, Définissabilité avec parametres extérieurs dans $ \mathbb{Q}_{p}$ et $ \mathbb{R}$, Proc. Amer. Math. Soc. 106 (1989) 193-198. MR 953003 (90d:03060)
  • 6. D. Haskell, E. Hrushovski, and D. Macpherson, Stable domination and independence in algebraically closed valued fields, Lecture Notes in Logic 30, Cambridge University Press, 2007. MR 2369946 (2010c:03002)
  • 7. B. Hart, B. Kim, and A. Pillay, Coordinatization and canonical bases in simple theories, Journal of Symbolic Logic, 65 (2000), 293-309. MR 1782121 (2001j:03066)
  • 8. E. Hrushovski, Y. Peterzil, and A. Pillay, Groups, measures and the $ NIP$, J. Amer. Math. Soc., 21 (2008), 563-596. MR 2373360 (2008k:03078)
  • 9. E. Hrushovski and A. Pillay, On $ NIP$ and invariant measures, J. European Math. Soc, 13 (2011), 1005-1061.
  • 10. E. Hrushovski and F. Loeser, Non-archimedean tame topology and stably dominated types, preprint 2010. MR 2648330
  • 11. M. Karpinski and A. J. Macintyre, Approximating volumes and integrals in $ o$-minimal and $ p$-minimal theories, in Connections between Model Theory and Algebraic and Analytic Geometry, Quaderni di matematica, vol 6, Seconda Universita di Napoli, 2000.
  • 12. H. J. Keisler, Measures and forking, Annals of Pure and Applied Logic 45 (1987), 119-169. MR 890599 (88i:03052)
  • 13. H. J. Keisler, Choosing elements in a saturated model, Classification Theory, Proceedings, Chicago 1985, ed. J. Baldwin, Lecture Notes in Math. 1292, 1987. MR 1033028 (91h:03040)
  • 14. D. Lascar and A. Pillay, Hyperimaginaries and automorphism groups, Journal of Symbolic Logic, 66 (2001), 127-143. MR 1825177 (2002f:03067)
  • 15. D. Marker and C. Steinhorn, Definability of types in $ o$-minimal theories, Journal of Symbolic Logic, 59 (1994), 185-198. MR 1264974 (95d:03056)
  • 16. A. Onshuus and A. Pillay, Definable groups and compact $ p$-adic Lie groups, Journal LMS, 78 (2008). MR 2427062 (2009g:03062)
  • 17. A. Pillay, Geometric Stability Theory, Oxford University Press 1996. MR 1429864 (98a:03049)
  • 18. B. Poizat, A Course in Model Theory, Springer 2000. MR 1757487 (2001a:03072)
  • 19. S. Shelah, Dependent first order theories, continued, Israel Journal of Mathematics 173 (2009), 1-60. MR 2570659
  • 20. S. Shelah, Classification theory, 2nd edition, North Holland, 1990. MR 1083551 (91k:03085)
  • 21. P. Simon, Théories NIP, M.Sc. thesis, Paris VII.
  • 22. A. Usvyatsov, On generically stable types in dependent theories, Journal of Symbolic Logic, 74 (2009), 216-250 MR 2499428 (2010b:03037)
  • 23. V.N. Vapnik and A.Y. Chervonenkis, On the uniform convergence of relative frequencies of events to their probabilities, Theory Probab. Appl., 16 (1971), 264-280.
  • 24. F. Wagner, Simple theories, Kluwer, 2000. MR 1747713 (2001b:03035)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 03C68, 03C45, 22C05, 28E05

Retrieve articles in all journals with MSC (2010): 03C68, 03C45, 22C05, 28E05

Additional Information

Ehud Hrushovski
Affiliation: Institute of Mathematics, Hebrew University of Jerusalem, 91904 Jerusalem, Israel

Anand Pillay
Affiliation: School of Mathematics, University of Leeds, Leeds LS2 9JT, United Kingdom

Pierre Simon
Affiliation: Institute of Mathematics, Hebrew University of Jerusalem, 91904 Jerusalem, Israel

Received by editor(s): June 7, 2010
Received by editor(s) in revised form: May 10, 2011
Published electronically: December 13, 2012
Additional Notes: The first author was supported by ISF grant 1048/07
The second author was supported by a Marie Curie Chair EXC 024052 and EPSRC grant EP/F009712/1
Article copyright: © Copyright 2012 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

American Mathematical Society