On VC-density in VC-minimal theories
Logic
2014-09-30 v1
Abstract
We show that any formula with two free variables in a VC-minimal theory has VC-codensity at most two. Modifying the argument slightly, we give a new proof of the fact that, in a VC-minimal theory where acl = dcl, the VC-codensity of a formula is at most the number of free variables.
Cite
@article{arxiv.1409.8060,
title = {On VC-density in VC-minimal theories},
author = {Vincent Guingona},
journal= {arXiv preprint arXiv:1409.8060},
year = {2014}
}
Comments
20 pages