English

Forking and dividing in Henson graphs

Logic 2017-10-18 v1

Abstract

For n3n\geq 3, define TnT_n to be the theory of the generic KnK_n-free graph, where KnK_n is the complete graph on nn vertices. We prove a graph theoretic characterization of dividing in TnT_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, TnT_n provides a counterexample to a recent question of Chernikov and Kaplan.

Keywords

Cite

@article{arxiv.1401.1570,
  title  = {Forking and dividing in Henson graphs},
  author = {Gabriel Conant},
  journal= {arXiv preprint arXiv:1401.1570},
  year   = {2017}
}

Comments

11 pages

R2 v1 2026-06-22T02:40:59.122Z