{"entities":{"Q701738":{"pageid":703587,"ns":120,"title":"Item:Q701738","lastrevid":48390367,"modified":"2026-01-04T14:11:47Z","type":"item","id":"Q701738","labels":{"en":{"language":"en","value":"Quasimaximality and principal filters isomorphism between \\({\\mathcal E}^*\\) and \\({\\mathcal L}^*(V_\\infty)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123157"}},"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":"Q701738$C1F1A9E4-5C80-4F71-83FE-271DC1FB4990","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14799ce1d5d073101492cdadf3076e2ef589b927","datavalue":{"value":{"text":"Quasimaximality and principal filters isomorphism between \\({\\mathcal E}^*\\) and \\({\\mathcal L}^*(V_\\infty)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701738$D8DB44F9-8BF0-4E3C-AB30-0E7E2BE59C78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d983fea51bdbc2fd1dcf82ca7b9106c5dd2691c0","datavalue":{"value":"1059.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701738$70C1BFCC-1AC8-4A47-830B-BC5E7B48B406","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701738$E660C393-6C4C-43E6-9E76-7FF87A9B032E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701738$C9DB1BE6-7A8F-4D11-BB2B-D4D0A134AFE8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ebcdd8c2fbb6d999287fbfd0662822cba3e524ab","datavalue":{"value":"Let \\(V_\\infty\\) be a computable infinite-dimensional computable vector space generated by a computable basis. Any two such spaces are computably isomorphic. Two of its subspaces \\(V_0\\) and \\(V_1\\) are called equivalent if there exists a finite-dimensional vector space \\(W\\) such that \\(V_0+W=V_1+W\\). The classes of computably enumerable subspaces of \\(V_\\infty\\) modulo this equivalence form a lattice \\({\\mathcal L}^\\ast(V_\\infty)\\) by inclusion up to a finite-dimensional subspace. The principal filter of it generated by a subspace \\(V\\) is denoted by \\({\\mathcal L}^\\ast(V,\\uparrow)\\). The principal filter generated by a computably enumerable subset \\(I\\) of the basis in the lattice \\({\\mathcal E}^\\ast\\) of computably enumerable subsets of the computable basis modulo the equivalence ``to differ on a finite set only'' is denoted by \\({\\mathcal E}^\\ast(I,\\uparrow)\\). The author proves a nessessary and sufficient condition for a quasimaximal subset \\(I\\) of the computable basis of \\(V_\\infty\\) to generate a subspace cl\\((I)\\) for which the ordered set \\({\\mathcal L}^\\ast(\\text{cl}(I),\\uparrow)\\) is isomorphic to \\({\\mathcal E}^\\ast(I,\\uparrow)\\) and gives examples of spaces that satisfy and do not satisfy this condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q701738$E47597BF-6E23-4370-9983-55A41255A1A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701738$4E38369A-01DC-4B99-BEB0-8916E3DA9A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701738$81B61F8E-97FC-4797-9519-4347BE9BBC90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4cb2f0f1eb9d340216ca2d2d2af87ccddb12ebe","datavalue":{"value":"2123157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701738$06EA86B5-453B-4B87-BEDD-9A50CB4EDC40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e37d5fb4c37201f6d9ffa5a03f2851ea990fad4","datavalue":{"value":"computable vector space","type":"string"},"datatype":"string"},"type":"statement","id":"Q701738$A6B6C589-BD59-4E04-80D5-4BC62408FF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c00d6ad8dc7a6d07d3bc5748754b5a85f308639","datavalue":{"value":"quasimaximal set","type":"string"},"datatype":"string"},"type":"statement","id":"Q701738$5583F1C3-1494-4B84-9267-5B619BA1A06B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"385130e670395f1dc7b6e3b8db1c1e0cb979cd35","datavalue":{"value":{"entity-type":"item","numeric-id":282115,"id":"Q282115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701738$F2725270-5AA8-4DF3-ADDD-4990F5D2E059","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701738$161303A8-7FE1-497B-AF46-23251A3D2800","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":"Q701738$42236D7A-1995-4934-8ACE-E8B1C2F2567E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f644b10f7b8239484d1c976c8b9b5a4e62d3804c","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0196-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q701738$5D107780-EFE4-40BD-95F3-D243FD1F89A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de4b1bcaf50e19eeaaff857005ac05f2cd433308","datavalue":{"value":"W2005553518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701738$A027BFDC-97EB-4879-8DE0-21F40E1BFE65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3c7db7d691be6bcd67e6db9ac9c85bf815a3b69","datavalue":{"value":"10.1007/S00153-003-0196-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701738$62592392-7636-45ED-B224-03574B942E9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd53a9cbbff1cb369265a9b99b0c36559ab7f2a","datavalue":{"value":{"entity-type":"item","numeric-id":282117,"id":"Q282117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc26a912880e618fdeae66e6e4183efa1a33129","datavalue":{"value":{"amount":"+0.8918681740760803","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":"Q701738$A8755987-E44A-4937-A6ED-B49CD9E8C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47591b2333a9824175727ceeb62a3398a12e3838","datavalue":{"value":{"entity-type":"item","numeric-id":948910,"id":"Q948910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2794d15a558afd030eb2453d14e5f23b4ff71a5b","datavalue":{"value":{"amount":"+0.8733974695205688","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":"Q701738$AB792389-BF8F-4B3B-A206-CE9C3F3911EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15c4c6fb96d98623239c84f0311546b9ae21c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3710516,"id":"Q3710516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a636423506ceeb436e9acea737f30b9f2e47e8","datavalue":{"value":{"amount":"+0.8231533765792847","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":"Q701738$F2B9D96B-E0BB-437D-8E9A-432503C38FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68c98b1607cbe1013465e8b7a2f99ac199971b6","datavalue":{"value":{"entity-type":"item","numeric-id":2970969,"id":"Q2970969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28235dcd30db8313cdacee9aa499ce1c64ad8df","datavalue":{"value":{"amount":"+0.7810855507850647","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":"Q701738$D63F4998-8181-4910-BBCC-9E655704D51C","rank":"normal"},{"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":"7c18ef3a6311952a5ac227503dfc641f5585fbb1","datavalue":{"value":{"amount":"+0.7546427845954895","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":"Q701738$E65E29DD-9AD5-4D77-89E3-A39A8B98B478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:701738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:701738"}}}}}