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

DOI10.2307/2273351zbMath0471.03038MaRDI 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

subspaces; recursively presented vector space over a recursive field

Mathematics Subject Classification ID

03D45: Theory of numerations, effectively presented structures

Related Items

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

Cites Work

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