Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A note on r-maximal subspaces of \(V_{\infty}\) - MaRDI portal

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

From MaRDI portal





scientific article; zbMATH DE number 3878911
Language Label Description Also known as
English
A note on r-maximal subspaces of \(V_{\infty}\)
scientific article; zbMATH DE number 3878911

    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