{"entities":{"Q1866795":{"pageid":1877537,"ns":120,"title":"Item:Q1866795","lastrevid":73917165,"modified":"2026-04-14T17:43:37Z","type":"item","id":"Q1866795","labels":{"en":{"language":"en","value":"Orthomodular lattices with rich state spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899922"}},"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":"Q1866795$9DEA9EBB-1177-4EB3-B4DF-7D046F263A2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"118889b92c6e0bdd3994cb897dc153693c0b5344","datavalue":{"value":{"text":"Orthomodular lattices with rich state spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866795$0F4D14E7-B891-48D6-8D85-40434F5F7B4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09ad7b4ac5ef6f0978a68de7e48277c0e33c599d","datavalue":{"value":"1012.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866795$59EA6E75-74FE-4AC2-8632-5766EA11470C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fed6b6f9f0a0066e47376c865e82767484c3671","datavalue":{"value":{"entity-type":"item","numeric-id":751679,"id":"Q751679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866795$0E72571C-8379-4CF1-B360-D96BD0456BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a064e70524c8149f39b383c8c423c9d586286d","datavalue":{"value":{"entity-type":"item","numeric-id":170594,"id":"Q170594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866795$25512163-23D6-432D-9CD1-1B1EA1B746D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08babfcd1e1fca3e5c0bb5b09516124cf1d587d0","datavalue":{"value":{"entity-type":"item","numeric-id":804572,"id":"Q804572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866795$5BF607D9-BB8F-4DC0-BF83-2B09E7F073FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866795$4382685F-9317-451E-BD63-1AEF7E78D10F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866795$0D05E87D-AF96-4A94-955D-C03BF7AC89B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b629ff6fd82992712ba58bb65328ad8e73286a3c","datavalue":{"value":"A new construction technique for orthomodular lattices is introduced. For an OML \\(L\\) and \\(a,b \\in L\\) their distance \\(d_L(a,b)\\) in \\(L\\) is the minimal \\(n\\) for which there exists a sequence \\((B_1 ,\\ldots ,B_n)\\) of blocks (i.e. maximal Boolean subalgebras of \\(L\\)) such that \\(a \\in B_1\\), \\(b \\in B_n\\) and \\(B_i\\cap B_{i+1}\\supset \\{0,1\\}\\) for \\(i=1,\\dots ,n-1\\). If no such sequence exists then \\(d_L(a,b)=\\infty \\) and \\(d_L(a,a)=0\\) for all \\(a \\in L\\).    A \\(K\\)-valued state \\((K\\subseteq I=[0,1]\\subseteq {\\mathbb R})\\) on \\(L\\) is a mapping \\(s:L\\rightarrow K\\) with \\(s(1)=1\\), and \\(s(a\\vee b)=s(a)+s(b)\\) whenever \\(a\\bot b\\). \\(I\\)-valued states are called states.    A principal construction tool of the paper is the so-called regulator: a regulator of order \\(n\\) is a finite OML \\(L\\) with a sequence of atoms \\((x_1 ,\\ldots ,x_n;y_1,\\ldots ,y_n)\\) (entries) satisfying the following three conditions:    (R1) The mutual distance of each pair of entries is at least 5;    (R2) Each state \\(s\\) on \\(L\\) satisfies the characteristic relation of a regulator:  \\[  \\sum _{i \\leq n} {s(x_i)}=\\sum _{i \\leq n} {s(y_i)};\\tag{E}  \\]  (R3) Let \\(a,b\\) be non-orthogonal atoms of \\(L\\), and let \\(s:\\{a,b,x_1, \\ldots ,x_n,y_1,\\ldots ,y_n\\}\\rightarrow \\{0,1\\}\\) be an acceptable function such that \\(s(a)=s(b)=1\\) and (E) is satisfied. Then \\(s\\) can be extended to a \\(\\{0,1\\}\\)-valued state on \\(L\\).    In contrast to the preceding constructions, this one admits rich spaces of states, i.e. for each pair of incomparable elements \\(a,c\\) there is a state \\(s\\) such that \\(s(a)=1>s(c)\\). This allowed a progress in many questions that were open for a long time; among others it is proved that there is a continuum of varieties of orthomodular lattices with rich state spaces and hence the authors solve a problem formulated by Mayet in 1985. As a by-product of this research, the uniqueness problem for bounded observables (posed by Gudder in 1966) is solved. As a tool also a construction of identification of atoms in an OML is introduced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866795$9499F25D-3B34-4CE0-8AE9-CBACEFB45AE4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866795$7257EB48-9561-4AC3-98AE-7572FC223F81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866795$0CD310E4-933B-4C27-B728-EAD7A0F71CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866795$C7DF02F5-D5BA-4A85-A7ED-96C7EA936F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866795$6051ACB0-7076-4F6F-94F6-B42AD13352FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866795$EF8AF6E3-9966-451E-B48E-9C1C2049A223","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00affa292eafe0ad11191d83629e87f81ac86439","datavalue":{"value":"1899922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866795$4AA62682-4FE0-4E7E-A3A8-6248A42BA3D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866795$948E7525-0860-4273-A6E2-3D5B1FF7FB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866795$904AEB8D-C510-4E95-A2C0-723FE6C416CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3e9b5ddda6a1bcdbf4d71d695c5746114fb1d5","datavalue":{"value":"state","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866795$511CD595-5CEB-4409-AB31-17C543B8CCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8407e07d57e25cfb22288c0a890434657d4a7141","datavalue":{"value":"probability measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866795$E296741C-7000-4431-8841-1A7575BA8584","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":"Q1866795$3833F7D1-359F-420B-90E1-BB983DBC5778","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1b26f249ea456bbbabc0ece37055f97080438dc","datavalue":{"value":"https://doi.org/10.1007/s000120050142","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866795$6DFC57A0-B7D8-4BA6-8C07-218C7117A436","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4658a7876378f945da49a47cf12b5dea004098b8","datavalue":{"value":"W1982299538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866795$C3727698-FD55-4F45-808F-1C2D2F3360C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61498f3a553c5a43861efc167df843d133e65988","datavalue":{"value":"10.1007/S000120050142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866795$14373EEC-E79E-49A0-B1C2-4092A6B3BCD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9697d8eb95fddc2fda3f9259db0185730045cadc","datavalue":{"value":{"entity-type":"item","numeric-id":3816075,"id":"Q3816075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3db04ffda4813724905381672d73a5d87e98766","datavalue":{"value":{"amount":"+0.788386344909668","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":"Q1866795$D703A3B7-A8E1-4065-9D3F-52E897515991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c47551ba7a87a8bce73b62221ed514d23ac37df","datavalue":{"value":{"entity-type":"item","numeric-id":5950763,"id":"Q5950763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f087c684801d9855a6a83262f1938ae463846d","datavalue":{"value":{"amount":"+0.7860413193702698","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":"Q1866795$8AABA6F4-2B34-4D70-8C6F-D8ED4A28786A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68943419a93010b0de25e8b0b50dcdce1f790ede","datavalue":{"value":{"entity-type":"item","numeric-id":4311363,"id":"Q4311363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc7f9980e4bad71d17068ab2409569d741b80ed","datavalue":{"value":{"amount":"+0.7860411405563354","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":"Q1866795$393895DA-E988-406C-AF77-17EE329DAC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b3dbf2934da4290279f62d19fa670e4f716a95","datavalue":{"value":{"entity-type":"item","numeric-id":1068117,"id":"Q1068117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77315ac359578a9d240a20e52852ccc1a707bb1","datavalue":{"value":{"amount":"+0.7824118733406067","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":"Q1866795$D6889927-6ACF-4685-8E83-1D228DE30100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b90a2679f847481d07d0f526e3aab461f65ded","datavalue":{"value":{"entity-type":"item","numeric-id":3346375,"id":"Q3346375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da797104addcde54ab6f3595f1f0fa52cd6bc90a","datavalue":{"value":{"amount":"+0.7819496989250183","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":"Q1866795$4CDB9323-87D2-4558-8A99-E6C0E11227E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orthomodular lattices with rich state spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Orthomodular_lattices_with_rich_state_spaces"}}}}}