We study the theory of K-vector spaces with a predicate for the union X of an infinite family of independent subspaces. We show that if K is infinite then the theory is complete and admits quantifier elimination in the language of K-vector spaces with predicates for the n-fold sums of X with itself. If K is finite this is no longer true, but we still have that a natural completion is near-model-complete.
Vector spaces with a union of independent subspaces / A. Berarducci, M. Mamino, R. Mennuni. - In: ARCHIVE FOR MATHEMATICAL LOGIC. - ISSN 0933-5846. - 63:3-4(2024 May), pp. 499-507. [10.1007/s00153-024-00906-9]
Vector spaces with a union of independent subspaces
R. Mennuni
2024
Abstract
We study the theory of K-vector spaces with a predicate for the union X of an infinite family of independent subspaces. We show that if K is infinite then the theory is complete and admits quantifier elimination in the language of K-vector spaces with predicates for the n-fold sums of X with itself. If K is finite this is no longer true, but we still have that a natural completion is near-model-complete.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
s00153-024-00906-9.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
244.22 kB
Formato
Adobe PDF
|
244.22 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.




