On r.e. and co-r.e. vector spaces with nonextendible bases

DOI10.2307/2273351zbMath0471.03038OpenAlexW2149628667MaRDI QIDQ3924187

Jeffery B. Remmel

Publication date: 1980

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273351

zbMATH Keywords

subspacesrecursively presented vector space over a recursive field

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items

On speedable and levelable vector spaces, Automorphisms of substructure lattices in recursive algebra, Co-immune subspaces and complementation inV_∞, Orbits of maximal vector spaces, Decidable subspaces and recursively enumerable subspaces, Bases of supermaximal subspaces and Steinitz systems. I, Classification of degree classes associated with r.e. subspaces, The universal complementation property, On the lattices of NP-subspaces of a polynomial time vector space over a finite field, Complexity-theoretic algebra. II: Boolean algebras, Recursive properties of relations on models, Maximal r.e. equivalence relations, Generic objects in recursion theory. II: Operations on recursive approximation spaces, Effective aspects of profinite groups, Automorphisms of supermaximal subspaces

Cites Work

• Unnamed Item
• Three theorems on the degrees of recursively enumerable sets
• Recursively enumerable vector spaces
• Classes of Recursively Enumerable Sets and Degrees of Unsolvability