Co-immune subspaces and complementation inV∞

DOI10.2307/2274184zbMath0579.03032OpenAlexW2141433950MaRDI QIDQ3701412

Rodney G. Downey

Publication date: 1984

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

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

zbMATH Keywords

immune setinfinite- dimensional fully-effective vector spacesmultiplicity of complementationsubspace fully co-recursively enumerable

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items

Classification of degree classes associated with r.e. subspaces ⋮ Maximal theories ⋮ Recursion theory and ordered groups ⋮ The Lattice of Computably Enumerable Vector Spaces ⋮ Sound, totally sound, and unsound recursive equivalence types

Cites Work

• Recursion theory on fields and abstract dependence
• ON A QUESTION OF A. RETZLAFF
• On r.e. and co-r.e. vector spaces with nonextendible bases
• Recursively enumerable vector spaces
• Controlling the dependence degree of a recursively enumerable vector space
• Nowhere simple sets and the lattice of recursively enumerable sets
• The degrees of bi‐immune sets