Vector spaces with a dense-codense generic submodule
Logic
2023-09-13 v3
Abstract
We study expansions of a vector space over a field , possibly with extra structure, with a generic submodule over a subring of . We construct a natural expansion by existentially defined functions so that the expansion in the extended language satisfies quantifier elimination. We show that this expansion preserves tame model theoretic properties such as stability, NIP, NTP, NTP and NSOP. We also study induced independence relations in the expansion.
Keywords
Cite
@article{arxiv.2204.10758,
title = {Vector spaces with a dense-codense generic submodule},
author = {Alexander Berenstein and Christian d'Elbée and Evgueni Vassiliev},
journal= {arXiv preprint arXiv:2204.10758},
year = {2023}
}
Comments
41 pages