𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the elementary theory of quadruples of vector spaces

✍ Scribed by Walter Baur


Publisher
Elsevier Science
Year
1980
Weight
747 KB
Volume
19
Category
Article
ISSN
0003-4843

No coin nor oath required. For personal study only.

✦ Synopsis


Ponomarev [4]

although the first section of [4] is recommended since it motivates the study of quadruples.


πŸ“œ SIMILAR VOLUMES


On the elementary theory of friction
✍ S.N. Postnikov; Z. Eliezer πŸ“‚ Article πŸ“… 1977 πŸ› Elsevier Science 🌐 English βš– 276 KB
ELIMINATION OF QUANTIFIERS OVER VECTORS
✍ Andrey A. Kuzichev πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 131 KB

## Abstract We consider two‐sorted theories of vector spaces and prove a criterion for the assertion that such a theory allows elimination of quantifiers over vector variables.