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.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2014.45

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

Forking in VC-minimal theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.
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.
Measures and forking.H. Jerome Keisler - 1987 - Annals of Pure and Applied Logic 34 (2):119-169.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Stable theories without dense forking chains.Bernhard Herwig, James G. Loveys, Anand Pillay, Predag Tanović & O. Wagner - 1992 - Archive for Mathematical Logic 31 (5):297-303.
Binary types in ℵ0‐categorical weakly o‐minimal theories.Beibut Sh Kulpeshov - 2011 - Mathematical Logic Quarterly 57 (3):246-255.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
Forking and independence in o-minimal theories.Alfred Dolich - 2004 - Journal of Symbolic Logic 69 (1):215-240.
Definability and nondefinability results for certain o-minimal structures.Hassan Sfouli - 2010 - Mathematical Logic Quarterly 56 (5):503-507.
Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
Very simple theories without forking.Ludomir Newelski - 2003 - Archive for Mathematical Logic 42 (6):601-616.
Stable Definability and Generic Relations.Byunghan Kim & Rahim Moosa - 2007 - Journal of Symbolic Logic 72 (4):1163 - 1176.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.

Analytics

Added to PP
2016-06-30

Downloads
23 (#644,212)

6 months
9 (#250,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dp-minimality: Invariant types and dp-rank.Pierre Simon - 2014 - Journal of Symbolic Logic 79 (4):1025-1045.
Invariant types in NIP theories.Pierre Simon - 2015 - Journal of Mathematical Logic 15 (2):1550006.
Definable groups in models of Presburger Arithmetic.Alf Onshuus & Mariana Vicaría - 2020 - Annals of Pure and Applied Logic 171 (6):102795.

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 in VC-minimal theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
Forking and independence in o-minimal theories.Alfred Dolich - 2004 - Journal of Symbolic Logic 69 (1):215-240.

Add more references