Model-theory of vector-spaces over unspecified fields

Pierce, David
Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional vector spaces over algebraically closed fields is the model-completion of the theory of vector spaces.


Some finite-dimensional backward shift-invariant subspaces in the ball and a related factorization problem
Alpay, D; Kaptanoglu, HT (2000-12-15)
Beurling's theorem characterizes subspaces of the Hardy space invariant under the forward-shift operator in terms of inner functions. In this Note we consider the case where the ball replaces the open unit desk and the reproducing kernel Hilbert space with reproducing kernel 1/(1-Sigma (N)(1) a(j)w(j)*) replaces the Hardy space. We give explicit formulas which generalize Blaschke products in the case of spaces of finite codimension. (C) 2000 Academie des sciences/Editions scientifiques et medicales Elsevier...
Bounded operators and complemented subspaces of Cartesian products
DJAKOV, PLAMEN; TERZİOĞLU, AHMET TOSUN; Yurdakul, Murat Hayrettin; Zahariuta, V. (2011-02-01)
We study the structure of complemented subspaces in Cartesian products X x Y of Kothe spaces X and Y under the assumption that every linear continuous operator from X to Y is bounded. In particular, it is proved that each non-Montel complemented subspace with absolute basis E subset of X x Y is isomorphic to a space of the form E(1) x E(2), where E(1) is a complemented subspace of X and E(2) is a complemented subspace of Y. (C) 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
On endomorphisms of surface mapping class groups
Korkmaz, Mustafa (Elsevier BV, 2001-05-01)
In this paper, we prove that every endomorphism of the mapping class group of an orientable surface onto a subgroup of finite index is in fact an automorphism.
Factorization of unbounded operators on Kothe spaces
Terzioglou, T; Yurdakul, Murat Hayrettin; Zuhariuta, V (2004-01-01)
The main result is that the existence of an unbounded continuous linear operator T between Kothe spaces lambda(A) and lambda(C) which factors through a third Kothe space A(B) causes the existence of an unbounded continuous quasidiagonal operator from lambda(A) into lambda(C) factoring through lambda(B) as a product of two continuous quasidiagonal operators. This fact is a factorized analogue of the Dragilev theorem [3, 6, 7, 2] about the quasidiagonal characterization of the relation (lambda(A), lambda(B)) ...
BASKAL, S; ERIS, A; SATIR, A (1994-12-19)
The symmetries and associated conservation laws of the SO(2,1) invariant non-linear sigma model equations in 1+1 dimensions are investigated. An infinite family of generalized local symmetries is presented and the uniqueness of these solutions is discussed.
Citation Formats
D. Pierce, “Model-theory of vector-spaces over unspecified fields,” ARCHIVE FOR MATHEMATICAL LOGIC, pp. 421–436, 2009, Accessed: 00, 2020. [Online]. Available: