𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES

✍ Scribed by Andrey A. Kuzichev

Publisher
John Wiley and Sons
Year
1992
Tongue
English
Weight
131 KB
Volume
38
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

Partitions of the 8-dimensional vector s
Partitions of the 8-dimensional vector space over GF(2)
✍ S. El-Zanati; O. Heden; G. Seelinger; P. Sissokho; L. Spence; C. Vanden Eynden πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 128 KB

Let V = V(n,q) denote the vector space of dimension n over GF(q). A set of subspaces of V is called a partition of V if every nonzero vector in V is contained in exactly one subspace of V. Given a partition P of V with exactly a i subspaces of dimension i for 1 ≀ i ≀ n, we have n i=1 a i (q i -1) =

TheK-Theory of Vector Bundles with Endom
TheK-Theory of Vector Bundles with Endomorphisms over a Scheme
✍ Dongyuan Yao πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 198 KB

Using Thomason and Trobaugh's localization theorem for the K-theory of a scheme, we study the K-theory of the category of vector bundles with endomorphisms over a scheme. The results generalize those of Grayson when the scheme is affine. We also give an example showing that the Mayer᎐Vietoris sequen

Convergence of Vector Subdivision Scheme
Convergence of Vector Subdivision Schemes in Sobolev Spaces
✍ Di-Rong Chen; Rong-Qing Jia; S.D Riemenschneider πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 206 KB

In this paper we consider functional equations of the form = α∈Z s a(Ξ±) (Mβ€’Ξ±), where = (Ο† 1 , . . . , Ο† r ) T is an r Γ— 1 vector of functions on the s-dimensional Euclidean space, a(Ξ±), Ξ± ∈ Z s , is a finitely supported sequence of r Γ— r complex matrices, and M is an s Γ—s isotropic integer matrix su

A note on the Picard bundle over a modul
A note on the Picard bundle over a moduli space of vector bundles
✍ Indranil Biswas; L. Brambila–Paz πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 125 KB πŸ‘ 1 views

## Abstract Let ℳ︁(__n__ , __d__ ) be a coprime moduli space of stable vector bundles of rank __n__ β‰₯ 2 and degree __d__ over a complex irreducible smooth projective curve __X__ of genus __g__ β‰₯ 2 and ℳ︁~__ΞΎ__~ βŠ‚ ℳ︁(__n__ , __d__ ) a fixed determinant moduli space. Assuming that the degree __d__ i