ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES

DOI10.1002/malq.19920380155zbMath0794.03019OpenAlexW2162187989MaRDI QIDQ4295257

A. A. Kuzichev

Publication date: 28 August 1994

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

Full work available at URL: https://doi.org/10.1002/malq.19920380155

zbMATH Keywords

elimination of quantifiers over vector variablestwo-sorted theories of vector spaces

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

Model-theory of vector-spaces over unspecified fields ⋮ Pseudofinite structures and simplicity

This page was built for publication: ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES