Forking in VC-minimal theories

Journal of Symbolic Logic 77 (4):1257-1271 (2012)
  Copy   BIBTEX

Abstract

We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M, generalizing a result of Dolich on o-minimal theories in [4]

Other Versions

No versions found

Links

PhilArchive



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

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

On VC-minimal theories and variants.Vincent Guingona & Michael C. Laskowski - 2013 - Archive for Mathematical Logic 52 (7-8):743-758.
Forking and independence in o-minimal theories.Alfred Dolich - 2004 - Journal of Symbolic Logic 69 (1):215-240.
On VC-Density in VC-Minimal Theories.Vincent Guingona - 2022 - Notre Dame Journal of Formal Logic 63 (3):395-413.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Small theories of Boolean ordered o-minimal structures.Roman Wencel - 2002 - Journal of Symbolic Logic 67 (4):1385-1390.
On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.

Analytics

Added to PP
2012-11-03

Downloads
46 (#489,982)

6 months
13 (#282,219)

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.
On VC-minimal fields and dp-smallness.Vincent Guingona - 2014 - Archive for Mathematical Logic 53 (5-6):503-517.
Definable groups in models of Presburger Arithmetic.Alf Onshuus & Mariana Vicaría - 2020 - Annals of Pure and Applied Logic 171 (6):102795.
Residue Field Domination in Real Closed Valued Fields.Clifton Ealy, Deirdre Haskell & Jana Maříková - 2019 - Notre Dame Journal of Formal Logic 60 (3):333-351.

View all 7 citations / Add more citations

References found in this work

Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Dp-Minimality: Basic Facts and Examples.Alfred Dolich, John Goodrick & David Lippel - 2011 - Notre Dame Journal of Formal Logic 52 (3):267-288.
Forking and independence in o-minimal theories.Alfred Dolich - 2004 - Journal of Symbolic Logic 69 (1):215-240.
The countable existentially closed pseudocomplemented semilattice.Joël Adler - 2017 - Archive for Mathematical Logic 56 (3-4):397-402.

Add more references