Forking and Dividing in NTP<sub>2</sub> theories

Artem Chernikov, Itay Kaplan

Type: Article

Publication Date: 2012-01-20

Citations: 68

DOI: https://doi.org/10.2178/jsl/1327068688

Abstract

Abstract We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded non-forking assuming NTP 2 .

Locations

Journal of Symbolic Logic - View
CiteSeer X (The Pennsylvania State University) - View - PDF

Similar Works

Action	Title	Year	Authors
+	Forking in NTP_2 theories	2009	Artem Chernikov Itay Kaplan
+	Forking in NTP_2 theories	2009	Artem Chernikov Itay Kaplan
+ PDF Chat	AN INDEPENDENCE THEOREM FOR NTP2 THEORIES	2014	Itaï Ben Yaacov Artem Chernikov
+ PDF Chat	An independence theorem for NTP2 theories	2014	Itaï Ben Yaacov Artem Chernikov
+	An independence theorem for NTP2 theories	2012	Itaï Ben Yaacov Artem Chernikov
+	Very simple theories without forking	2003	Ludomir Newelski
+	New Models of Bounded Induction Axioms	2005	Sedki Boughattas Jean-Pierre Ressayre
+	Independence over arbitrary sets in NSOP$_1$ theories	2019	Jan Dobrowolski Byunghan Kim Nicholas Ramsey
+	Independence over arbitrary sets in NSOP$_1$ theories	2019	Jan Dobrowolski Byunghan Kim Nicholas Ramsey
+	First-order theories of bounded trees	2021	Ruaan Kellerman
+ PDF Chat	Independence over arbitrary sets in NSOP1 theories	2021	Jan Dobrowolski Byunghan Kim Nicholas Ramsey
+ PDF Chat	THREE SURPRISING INSTANCES OF DIVIDING	2024	Gabriel Conant Alex Kruckman
+	A New Kim's Lemma	2023	Alex Kruckman Nicholas Ramsey
+	Three surprising instances of dividing	2023	Gabriel Conant Alex Kruckman
+ PDF Chat	Forking and dividing in fields with several orderings and valuations	2021	Will Johnson
+	Some NIP-like phenomena in NTP$_{2}$	2017	Itay Kaplan Pierre Simon
+	Forking and Dividing in Fields with Several Orderings and Valuations	2020	William Johnson
+	Forking and Dividing in Fields with Several Orderings and Valuations	2020	Will Johnson
+	Lascar strong types and forking in NIP theories	2014	Enrique Casanovas
+	A separation theorem for simple theories	2021	M. Malliaris Saharon Shelah

Works That Cite This (66)

Action	Title	Year	Authors
+	Definably amenable NIP groups	2017	Artem Chernikov Pierre Simon
+ PDF Chat	Existentially closed exponential fields	2021	Levon Haykazyan Jonathan Kirby
+ PDF Chat	Burden in Henselian valued fields	2023	Pierre Touchard
+ PDF Chat	Mekler’s construction and generalized stability	2019	Artem Chernikov Nadja Hempel
+ PDF Chat	Topological dynamics and definable groups	2013	Anand Pillay
+ PDF Chat	AN INDEPENDENCE THEOREM FOR NTP2 THEORIES	2014	Itaï Ben Yaacov Artem Chernikov
+	Connected components of definable groups and o-minimality I	2011	Annalisa Conversano Anand Pillay
+ PDF Chat	A definable (p,q)-theorem for NIP theories	2023	Itay Kaplan
+ PDF Chat	Around definable types in p-adically closed fields	2024	Pablo Andújar Guerrero Will Johnson
+	Pseudo real closed fields, pseudo p-adically closed fields and NTP2	2016	Samaria Montenegro

Works Cited by This (9)

Action	Title	Year	Authors
+	Morley sequences in dependent theories	2008	Alexander Usvyatsov
+	Forking and independence in o-minimal theories	2004	Alfred Dolich
+ PDF Chat	Dependent first order theories, continued	2009	Saharon Shelah
+ PDF Chat	Thorn orthogonality and domination in unstable theories	2011	Alf Onshuus Alexander Usvyatsov
+	Introduction to theories without the independence property	2008	Hans H. Adler
+	On dp-minimality, strong dependence and weight	2011	Alf Onshuus Alexander Usvyatsov
+	Lascar strong types in some simple theories	1999	Steven Buechler
+ PDF Chat	Archive for Mathematical Logic	2013	Vera Fischer Saharon Shelah
+	Explanation of Independence	2005	Hans H. Adler