Vector spaces with a dense-codense generic submodule

DOI10.1016/J.APAL.2024.103442MaRDI QIDQ6397220zbMATH OpenOpenAlexFDO

Authors Alexander Berenstein, Christian D'Elbée, Evgueni Vassiliev

Publication date 22 April 2022

Full work available at URL https://doi.org/10.1016/j.apal.2024.103442

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64)

Abstract: We study expansions of a vector space $V$ over a field $mathbbF$, possibly with extra structure, with a generic submodule over a subring of $mathbbF$. 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${}_1$, NTP${}_2$ and NSOP${}_1$. We also study induced independence relations in the expansion.

This page was built for publication: Vector spaces with a dense-codense generic submodule

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6397220)