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.
03C60; Independent subspaces; Model theory; Primary 03C10; Secondary 03C45; Stable theories; Vector spaces
Settore MATH-01/A - Logica matematica
mag-2024
Article (author)
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1131906
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
  • OpenAlex ND
social impact