Graduate studies at Western
Journal of Symbolic Logic 49 (4):1137-1145 (1984)
|Abstract||A subspace V of an infinite dimensional fully effective vector space V ∞ is called decidable if V is r.e. and there exists an r.e. W such that $V \oplus W = V_\infty$ . These subspaces of V ∞ are natural analogues of recursive subsets of ω. The set of r.e. subspaces forms a lattice L(V ∞ ) and the set of decidable subspaces forms a lower semilattice S(V ∞ ). We analyse S(V ∞ ) and its relationship with L(V ∞ ). We show: Proposition. Let U, V, W ∈ L(V ∞ ) where U is infinite dimensional and $U \oplus V = W$ . Then there exists a decidable subspace D such that U |oplus D = W. Corollary. Any r.e. subspace can be expressed as the direct sum of two decidable subspaces. These results allow us to show: Proposition. The first order theory of the lower semilattice of decidable subspaces, Th(S(V ∞ )), is undecidable. This contrasts sharply with the result for recursive sets. Finally we examine various generalizations of our results. In particular we analyse S * (V ∞ ), that is, S(V ∞ ) modulo finite dimensional subspaces. We show S * (V ∞ ) is not a lattice|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Rod Downey (1984). Bases of Supermaximal Subspaces and Steinitz Systems. I. Journal of Symbolic Logic 49 (4):1146-1159.
R. G. Downey & G. R. Hird (1985). Automorphisms of Supermaximal Subspaces. Journal of Symbolic Logic 50 (1):1-9.
Vincenzo Marra & Luca Spada (2012). The Dual Adjunction Between MV-Algebras and Tychonoff Spaces. Studia Logica 100 (1-2):253-278.
Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp & Manuel Lerman (1996). Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. Journal of Symbolic Logic 61 (3):880-905.
Douglas Cenzer & Andre Nies (2001). Initial Segments of the Lattice of Π01 Classes. Journal of Symbolic Logic 66 (4):1749 - 1765.
Iraj Kalantari (1978). Major Subspaces of Recursively Enumerable Vector Spaces. Journal of Symbolic Logic 43 (2):293-303.
Allen Retzlaff (1978). Simple and Hyperhypersimple Vector Spaces. Journal of Symbolic Logic 43 (2):260-269.
L. R. Galminas & John W. Rosenthal (2002). More Undecidable Lattices of Steinitz Exchange Systems. Journal of Symbolic Logic 67 (2):859-878.
R. Downey (1984). Co-Immune Subspaces and Complementation in V∞. Journal of Symbolic Logic 49 (2):528 - 538.
Added to index2009-01-28
Total downloads2 ( #246,325 of 739,325 )
Recent downloads (6 months)0
How can I increase my downloads?