Forking and dividing in Henson graphs
Logic
2017-10-18 v1
Abstract
For , define to be the theory of the generic -free graph, where is the complete graph on vertices. We prove a graph theoretic characterization of dividing in , 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, 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