Hostname: page-component-7c8c6479df-xxrs7 Total loading time: 0 Render date: 2024-03-28T23:40:24.649Z Has data issue: false hasContentIssue false

ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES

Published online by Cambridge University Press:  12 December 2014

PIERRE SIMON
Affiliation:
UNIVERSITÉ DE LYON; CNRS UNIVERSITÉ LYON 1 INSTITUT CAMILLE JORDAN UMR5208 43 BOULEVARD DU 11 NOVEMBRE 1918 69622 VILLEURBANNE CEDEX, FRANCEE-mail: pierre.sim85@gmail.com
SERGEI STARCHENKO
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF NOTRE DAME NOTRE DAME, IN 46556, USA

Abstract

We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst nonforking types.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2014 

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

Chernikov, Artem and Kaplan, Itay, Forking and dividing in NTP2theories, this Journal, vol. 77 (2012), no. 1, pp. 1–20.Google Scholar
Cotter, Sarah and Starchenko, Sergei, Forking in VC-minimal theories, this Journal, vol. 77 (2012), no. 4, pp. 1257–1271.Google Scholar
Dolich, Alfred, Forking and independence in o-minimal theories, this Journal, vol. 69 (2004), no. 1, pp. 215–240.Google Scholar
Simon, Pierre, On dp-minimal ordered structures, this Journal, vol. 76 (2011), no. 4, pp. 448–460.Google Scholar
Simon, Pierre, A guide to NIP theories, Lecture Notes in Logic, 2014, to appear.CrossRefGoogle Scholar
Simon, Pierre, Dp-minimality: invariant types and dp-rank, this Journal, vol. 79 (2014), no. 4, pp. 1025–1045.Google Scholar