Co-immune subspaces and complementation inV∞

DOI10.2307/2274184MaRDI QIDQ3701412zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The universal complementation property
• A note on r-maximal subspaces of \(V_{\infty}\)
• Decidable subspaces and recursively enumerable subspaces
• On speedable and levelable vector spaces
• scientific article; zbMATH DE number 130871

Cites work

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

Cited in

(6)

• 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
• A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)

This page was built for publication: Co-immune subspaces and complementation inV_∞

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3701412)