Showing 1–2 of 2 results for author: Vassiliev, E

Vector spaces with a dense-codense generic submodule

Authors: Alexander Berenstein, Christian d'Elbée, Evgueni Vassiliev

Abstract: We study expansions of a vector space $V$ over a field $\mathbb F$, possibly with extra structure, with a generic submodule over a subring of $\mathbb F$. 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, NT… ▽ More We study expansions of a vector space $V$ over a field $\mathbb F$, possibly with extra structure, with a generic submodule over a subring of $\mathbb F$. 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. △ Less

Submitted 11 September, 2023; v1 submitted 22 April, 2022; originally announced April 2022.

Comments: 41 pages

Supersimple structures with a dense independent subset

Authors: Alexander Berenstein, Juan Felipe Carmona, Evgueni Vassiliev

Abstract: Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a partial type $\mathcal{G}(x)$, which we call $H$-structures. We show that any two such expansions have the same theory and that under some technical conditions, the… ▽ More Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a partial type $\mathcal{G}(x)$, which we call $H$-structures. We show that any two such expansions have the same theory and that under some technical conditions, the saturated models of this common theory are again $H$-structures. We prove that under these assumptions the expansion is supersimple and characterize forking and canonical bases of types in the expansion. We also analyze the effect these expansions have on one-basedness and CM-triviality. In the one-based case, when $T$ has $SU$-rank $ω^α$ and the $SU$-rank is continuous, we take $\mathcal{G}(x)$ to be the type of elements of $SU$-rank $ω^α$ and we describe a natural "geometry of generics modulo $H$" associated with such expansions and show it is modular. △ Less

Submitted 19 March, 2018; originally announced March 2018.

Journal ref: Berenstein, A., Carmona, J. F., & Vassiliev, E. (2017). Supersimple structures with a dense independent subset. Mathematical Logic Quarterly, 63(6), 552-573