A note on r-maximal subspaces of V_

DOI10.1016/0168-0072(84)90037-XMaRDI QIDQ800918zbMATH OpenOpenAlexFDO

Authors David R. Guichard

Publication date 1984

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(84)90037-x

zbMATH Keywords

fully effective vector spacemajor subspacerecursively enumerable vector spaces

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Review text

\textit{G. Metakides} and \textit{A. Nerode} [Ann. Math. Logic 11, 147-171 (1977; Zbl 0389.03019)] introduced the study of the fully effective vector space \(V_{\infty}\) and the lattice \(L(V_{\infty})\) of r.e. subspaces of \(V_{\infty}\). \textit{I. Kalantari} [J. Symb. Logic 43, 293- 303 (1978; Zbl 0403.03034)] introduced the notion of major subspace and proved their existence developing a method of building subspaces of \(V_{\infty}\). \textit{I. Kalantari} and \textit{A. Retzlaff} [J. Symb. Logic 42, 481-491 (1977; Zbl 0383.03033)] refined this method and produced super-maximal subspaces of \(V_{\infty}\). We further extend Kalantari's basic method of construction to construct subspaces of \(V_{\infty}\) with new properties, focusing on the notions major and r- maximal.

Recommendations

• Bases of supermaximal subspaces and Steinitz systems. I
• Bases of Supermaximal Subspaces and Steinitz Systems II
• scientific article; zbMATH DE number 130871
• Quasimaximality and principal filters isomorphism between \({\mathcal E}^*\) and \({\mathcal L}^*(V_\infty)\)
• Automorphisms of supermaximal subspaces

Cites work

• A r-maximal vector space not contained in any maximal vector space
• Automorphisms of substructure lattices in recursive algebra
• scientific article; zbMATH DE number 3478856 (Why is no real title available?)
• Major subspaces of recursively enumerable vector spaces
• Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
• Recursively enumerable vector spaces
• Simple and hyperhypersimple vector spaces
• Simplicity of recursively enumerable sets

Cited in

(6)

• The Lattice of Computably Enumerable Vector Spaces
• Automorphisms of supermaximal subspaces
• Co-immune subspaces and complementation inV_∞
• Bases of supermaximal subspaces and Steinitz systems. I
• Bases of Supermaximal Subspaces and Steinitz Systems II
• scientific article; zbMATH DE number 130871 (Why is no real title available?)

This page was built for publication: A note on r-maximal subspaces of \(V_{\infty}\)

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