Co-immune subspaces and complementation inV∞

DOI10.2307/2274184zbMATH Open0579.03032OpenAlexW2141433950MaRDI QIDQ3701412FDOQ3701412

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

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

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)

Cites Work

• On r.e. and co-r.e. vector spaces with nonextendible bases
• Recursively enumerable vector spaces
• The degrees of bi‐immune sets
• 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
• Recursion theory on fields and abstract dependence

Cited In (6)

• Classification of degree classes associated with r.e. subspaces
• Recursion theory and ordered groups
• 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)\)
• Maximal theories
• The Lattice of Computably Enumerable Vector Spaces

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)