Non-locally modular regular types in classifiable theories
Logic
2024-04-16 v3
Abstract
We introduce the notion of strong -semi-regularity and show that if is a regular type which is not locally modular then any -semi-regular type is strongly -semi-regular. Moreover, for any such -semi-regular type, "domination implies isolation" which allows us to prove the following: Suppose that is countable, classifiable and is any model. If is regular but not locally modular and is any realization of then every model containing that is dominated by over is both constructible and minimal over .
Cite
@article{arxiv.1910.11404,
title = {Non-locally modular regular types in classifiable theories},
author = {Elisabeth Bouscaren and Bradd Hart and Ehud Hrushovski and Michael C. Laskowski},
journal= {arXiv preprint arXiv:1910.11404},
year = {2024}
}
Comments
Revised version, many details added, Appendix extended