Stable Forking and Imaginaries

&
Notre Dame Journal of Formal Logic 59 (4):497-502 (2018)
  Copy   BIBTEX

Abstract

We prove that a theory T has stable forking if and only if Teq has stable forking.

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2018-0010

Links

PhilArchive



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

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

The stable forking conjecture and generic structures.Massoud Pourmahdian - 2003 - Archive for Mathematical Logic 42 (5):415-421.
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.
The Stable Forking Conjecture in Homogeneous Model Theory.Massoud Pourmahdian - 2004 - Logic Journal of the IGPL 12 (3):171-180.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
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.
Thorn-forking in continuous logic.Clifton Ealy & Isaac Goldbring - 2012 - Journal of Symbolic Logic 77 (1):63-93.
A note on stable sets, groups, and theories with NIP.Alf Onshuus & Ya'acov Peterzil - 2007 - Mathematical Logic Quarterly 53 (3):295-300.
Simplicity, and stability in there.Byunghan Kim - 2001 - Journal of Symbolic Logic 66 (2):822-836.
Simplicity, and Stability in There.Byunghan Kim - 2001 - Journal of Symbolic Logic 66 (2):822-836.
On omega-categorical simple theories.Daniel Palacín - 2012 - Archive for Mathematical Logic 51 (7-8):709-717.
Forking and Incomplete Types.Tapani Hyttinen - 1996 - Mathematical Logic Quarterly 42 (1):421-432.
Independence and the finite submodel property.Vera Koponen - 2009 - Annals of Pure and Applied Logic 158 (1-2):58-79.
Stable types in rosy theories.Assaf Hasson & Alf Onshuus - 2010 - Journal of Symbolic Logic 75 (4):1211-1230.
Forking and Dividing in Henson Graphs.Gabriel Conant - 2017 - Notre Dame Journal of Formal Logic 58 (4):555-566.

Analytics

Added to PP
2018-07-17

Downloads
17 (#846,424)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
[Omnibus Review].Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.
Simplicity, and stability in there.Byunghan Kim - 2001 - Journal of Symbolic Logic 66 (2):822-836.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.

Add more references