Vector spaces with a dense-codense generic submodule

We study expansions of a vector space V over a field F, possibly with extra structure, with a generic submodule over a subring of 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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Annals of pure and applied logic 2024-07, Vol.175 (7), p.103442, Article 103442
Hauptverfasser: Berenstein, Alexander, d'Elbée, Christian, Vassiliev, Evgueni
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We study expansions of a vector space V over a field F, possibly with extra structure, with a generic submodule over a subring of 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, NTP1, NTP2 and NSOP1. We also study induced independence relations in the expansion.
ISSN:0168-0072
DOI:10.1016/j.apal.2024.103442