Model-theory of vector-spaces over unspecified fields

DOI10.1007/s00153-009-0130-xzbMath1169.03029OpenAlexW2060149736MaRDI QIDQ2391093

Yanyan Li

Publication date: 24 July 2009

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-009-0130-x

zbMATH Keywords

parallelismlinear dependenceaxiomatizationmodel-completionvector spaces over unspecified fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Vector spaces, linear dependence, rank, lineability (15A03) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Chains of theories and companionability ⋮ Fields with automorphism and valuation ⋮ Pseudofinite structures and simplicity

Cites Work

• Quasi finitely axiomatizable totally categorical theories
• The model completion of the theory of modules over finitely generated commutative algebras
• Tarski's System of Geometry
• ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
• Model Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item