A note on r-maximal subspaces of \(V_{\infty}\) (Q800918)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A note on r-maximal subspaces of \(V_{\infty}\)
scientific article

    Statements

    A note on r-maximal subspaces of \(V_{\infty}\) (English)
    0 references
    0 references
    1984
    0 references
    \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.
    0 references
    recursively enumerable vector spaces
    0 references
    fully effective vector space
    0 references
    major subspace
    0 references

    Identifiers