pith. sign in

arxiv: 1401.1570 · v1 · pith:LET2CTSRnew · submitted 2014-01-08 · 🧮 math.LO

Forking and dividing in Henson graphs

classification 🧮 math.LO
keywords dividingforkinggraphcompletealtogethercharacterizationchernikovcounterexample
0
0 comments X
read the original abstract

For $n\geq 3$, define $T_n$ to be the theory of the generic $K_n$-free graph, where $K_n$ is the complete graph on $n$ vertices. We prove a graph theoretic characterization of dividing in $T_n$, and use it to show that forking and dividing are the same for complete types. We then give an example of a forking and nondividing formula. Altogether, $T_n$ provides a counterexample to a recent question of Chernikov and Kaplan.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.