On the canonical base property
Logic
2012-05-29 v1
Abstract
We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in a finite Morley rank context, if all definable Galois groups are "rigid" then the theory has the CBP (in a strong sense).
Keywords
Cite
@article{arxiv.1205.5981,
title = {On the canonical base property},
author = {Ehud Hrushovski and Daniel Palacin and Anand Pillay},
journal= {arXiv preprint arXiv:1205.5981},
year = {2012}
}
Comments
15 pages