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

Abstract
We prove that a theory T has stable forking if and only if Teq has stable forking.
Keywords stable forking  imaginaries
Categories (categorize this paper)
DOI 10.1215/00294527-2018-0010
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,634
Through your library

References found in this work BETA

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

Citations of this work BETA

No citations found.

Add more citations

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.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
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 index
2018-07-17

Total views
14 ( #738,020 of 2,533,767 )

Recent downloads (6 months)
1 ( #388,784 of 2,533,767 )

How can I increase my downloads?

Downloads

My notes