{"entities":{"Q800918":{"pageid":802766,"ns":120,"title":"Item:Q800918","lastrevid":48757105,"modified":"2026-01-05T19:21:50Z","type":"item","id":"Q800918","labels":{"en":{"language":"en","value":"A note on r-maximal subspaces of \\(V_{\\infty}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878911"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$A7DA534D-C11B-47D4-9315-E1A9FAD2F022","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64705223de7d16d5a8e53c336bb33f180afa7630","datavalue":{"value":{"text":"A note on r-maximal subspaces of \\(V_{\\infty}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800918$7719246E-A019-481C-A614-0BB6163AF42B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99307fb9508b539280278586ef26297f7012c5c4","datavalue":{"value":"0552.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800918$93129F6D-40B3-4004-BA0E-427E697FA45B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a79a507d685db083e50bc6bb81a5240f418d0b13","datavalue":{"value":"10.1016/0168-0072(84)90037-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800918$E41D6812-506E-433A-9DA3-221ED4B5859F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5094919efa29cd73eefffd7ee0301568f780f61b","datavalue":{"value":{"entity-type":"item","numeric-id":800917,"id":"Q800917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$DD142868-1F91-4993-8B49-24DCF15171D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$B1C0285A-FE16-4200-9843-D40CCA94916F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q800918$E3D3FB90-709E-4383-954D-AAA1FFF28DB6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"343db0ba635bafa27e766389fd783bd8faacf082","datavalue":{"value":"\\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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800918$F5BE8235-C4ED-46CD-BC5A-FD581BC763C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800918$6EA8C75B-7DB9-47D8-958D-D0D674400C99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cb1699e930b0c0a8dc2100202219b55c7e8baf5","datavalue":{"value":"3878911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800918$77899A6B-E707-4685-8C79-B1BCBF45EB9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3b5ca4cf17eaff37fcfaefcf66b19635e21fb5","datavalue":{"value":"recursively enumerable vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q800918$8B48BDFD-3A54-4CE3-BDE8-67626898418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa445dae6fa6bd9073d5d5624d1a5600ff92d580","datavalue":{"value":"fully effective vector space","type":"string"},"datatype":"string"},"type":"statement","id":"Q800918$F2DA2E17-ADE0-418D-A897-08E1109F76CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ebda8aa0015c6962c80c8b8ec412608764ded3","datavalue":{"value":"major subspace","type":"string"},"datatype":"string"},"type":"statement","id":"Q800918$4C7A34D2-C2C4-416F-858F-39B2458B6A76","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$A5EF5291-62FC-4878-872E-3DBD666B4603","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47eda42b895f3b814239815045a64a69fc219376","datavalue":{"value":{"entity-type":"item","numeric-id":1078171,"id":"Q1078171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$2BB734FA-6CD2-40FE-8AB6-F26F49736BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21655b02a7b5fa1f78917017de75d1c37eb8c047","datavalue":{"value":{"entity-type":"item","numeric-id":4187806,"id":"Q4187806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$7CED51EF-2AD0-4F39-AEC9-DF01B4105B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0fdf8c902e0d3f85f244ab171cd792b07a7092","datavalue":{"value":{"entity-type":"item","numeric-id":4163526,"id":"Q4163526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$FEE4DCFD-B8A8-4F6C-ACDD-B21AC67AD2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327810ed454f2bd6eff2faba0ebae46a09c1cbe","datavalue":{"value":{"entity-type":"item","numeric-id":4063426,"id":"Q4063426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$8DDDF562-93F5-498F-A6B9-23807DC4B4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a3bc595453799a95815c19e73d118fa61795f8","datavalue":{"value":{"entity-type":"item","numeric-id":4170711,"id":"Q4170711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$C6E6175D-15DF-4AFD-A166-185C20997EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b50eed6f48fa00480ffbd77621e3767f4086cc8","datavalue":{"value":{"entity-type":"item","numeric-id":4196414,"id":"Q4196414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$299849FB-6DEA-4A9C-8E7C-39664EB9E759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a82c18077d9ad6425381a16b90cdd898cb3181bf","datavalue":{"value":{"entity-type":"item","numeric-id":4182493,"id":"Q4182493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$E724DD6F-6B89-4897-8A8E-77BBAA4234DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4414ed0d3cf6381fe39f2a06c3747648357e1d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5602100,"id":"Q5602100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800918$175E8652-D7FC-4428-81DE-A0746C519854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"443c4eb4be8689f8f91c1d3f368c2a3bff877146","datavalue":{"value":"https://doi.org/10.1016/0168-0072(84)90037-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q800918$A700A348-96B3-4922-9E70-606702763EC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a58459d3e0d4ba675fa5ec2b28880bd7147cbe79","datavalue":{"value":"W1994334192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800918$CFCF7C21-919B-428B-8779-F4854FDC0DCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e6277d7c9db8f7bb3549391a6d058de1ca979a","datavalue":{"value":{"entity-type":"item","numeric-id":3710517,"id":"Q3710517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da1362390261fa1a4e55e88267300b81a82b979","datavalue":{"value":{"amount":"+0.834080696105957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800918$BD901839-C7AE-485F-BE9A-062300BB84D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc1c2403fb9129947e3a358337b7a373da6a9b6","datavalue":{"value":{"entity-type":"item","numeric-id":3734392,"id":"Q3734392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb550abecacd6ef04f76b1bed40a1e5ea09df07","datavalue":{"value":{"amount":"+0.8133198022842407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800918$F4BFF453-4254-4268-927D-2A8925292990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d20e18252bc97827c732ac25df54aa5273caf5e","datavalue":{"value":{"entity-type":"item","numeric-id":4029323,"id":"Q4029323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfad0cf6be9144b760913e6b9c907740b7ef924","datavalue":{"value":{"amount":"+0.8048900961875916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800918$41F04B4B-E0AC-4240-A33E-5BF98737BBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a97704450e43ab34916f03756a0e7814787787","datavalue":{"value":{"entity-type":"item","numeric-id":701738,"id":"Q701738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82246f876f7489d9b67bbed6fe8113c5494ace18","datavalue":{"value":{"amount":"+0.8044824600219727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800918$F2EEF5F9-9868-43E6-9BD3-7B00CC085DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3af623ac7d1c4d35e5cf6ce86f1bed21dd06188","datavalue":{"value":{"entity-type":"item","numeric-id":3689174,"id":"Q3689174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c01c08a4d32c5dfb3eba606a7d5d75709888bd1","datavalue":{"value":{"amount":"+0.7865211367607117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800918$86216054-0A7E-4FE5-A2FC-45511BA29193","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:800918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:800918"}}}}}