Three surprising instances of dividing
Abstract
We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type over a set does not divide over , then no extension of to a complete type over divides over . Two of our examples are also the first known theories where all sets are extension bases for nonforking, but forking and dividing differ for complete types (answering a question of Adler). One example is an NSOP theory with a complete type that forks, but does not divide, over a model (answering a question of d'Elb\'{e}e). Moreover, dividing independence fails to imply M-independence in this example (which refutes another folklore claim). In addition to these counterexamples, we summarize various related properties of dividing that are still true. We also address consequences for previous literature, including an earlier unpublished result about forking and dividing in free amalgamation theories, and some claims about dividing in the theory of generic -free incidence structures.
Keywords
Cite
@article{arxiv.2311.00609,
title = {Three surprising instances of dividing},
author = {Gabriel Conant and Alex Kruckman},
journal= {arXiv preprint arXiv:2311.00609},
year = {2024}
}
Comments
19 pages, minor revisions from first version, to appear in JSL