On forking and definability of types in some dp-minimal theories

Journal of Symbolic Logic 79 (4):1020-1024 (2014)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 102,074

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Dp-minimality: Invariant types and dp-rank.Pierre Simon - 2014 - Journal of Symbolic Logic 79 (4):1025-1045.
On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.
Forking in VC-minimal theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
On Rank Not Only in Nsop $_1$ Theories.Jan Dobrowolski & Daniel Max Hoffmann - 2024 - Journal of Symbolic Logic 89 (4):1669-1702.
Tame Topology over dp-Minimal Structures.Pierre Simon & Erik Walsberg - 2019 - Notre Dame Journal of Formal Logic 60 (1):61-76.
Definable types in o-minimal theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
The canonical topology on dp-minimal fields.Will Johnson - 2018 - Journal of Mathematical Logic 18 (2):1850007.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
A monotonicity theorem for dp-minimal densely ordered groups.John Goodrick - 2010 - Journal of Symbolic Logic 75 (1):221-238.

Analytics

Added to PP
2016-06-30

Downloads
36 (#640,257)

6 months
5 (#1,084,146)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Invariant types in NIP theories.Pierre Simon - 2015 - Journal of Mathematical Logic 15 (2):1550006.
Dp-minimality: Invariant types and dp-rank.Pierre Simon - 2014 - Journal of Symbolic Logic 79 (4):1025-1045.
Definable groups in models of Presburger Arithmetic.Alf Onshuus & Mariana Vicaría - 2020 - Annals of Pure and Applied Logic 171 (6):102795.
Around definable types in p-adically closed fields.Pablo Andújar Guerrero & Will Johnson - 2024 - Annals of Pure and Applied Logic 175 (10):103484.

Add more citations

References found in this work

On dp-minimal ordered structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
Forking and independence in o-minimal theories.Alfred Dolich - 2004 - Journal of Symbolic Logic 69 (1):215-240.
Forking in VC-minimal theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.

Add more references