English

Non-locally modular regular types in classifiable theories

Logic 2024-04-16 v3

Abstract

We introduce the notion of strong pp-semi-regularity and show that if pp is a regular type which is not locally modular then any pp-semi-regular type is strongly pp-semi-regular. Moreover, for any such pp-semi-regular type, "domination implies isolation" which allows us to prove the following: Suppose that TT is countable, classifiable and MM is any model. If pS(M)p\in S(M) is regular but not locally modular and bb is any realization of pp then every model NN containing MM that is dominated by bb over MM is both constructible and minimal over MbMb.

Keywords

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

R2 v1 2026-06-23T11:54:17.191Z