{"entities":{"Q1119956":{"pageid":1130705,"ns":120,"title":"Item:Q1119956","lastrevid":69690858,"modified":"2026-04-13T08:44:46Z","type":"item","id":"Q1119956","labels":{"en":{"language":"en","value":"Hilbert lattices with the extension property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4099384"}},"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":"Q1119956$742366B6-381E-4E7E-9720-B001DE04CE71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2df54962f69e48c51752d5f1aa3282e9595d1445","datavalue":{"value":{"text":"Hilbert lattices with the extension property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119956$6BBABAAC-CAB8-4E04-9C0E-CC6C0BA4F0C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2972faa9745641a3c5ffc1ee6cbb729066ad90b0","datavalue":{"value":"0672.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119956$A74FB1F6-D162-44C3-9BFC-A8A06D793C72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da7f2f1d1ed23cffa62a56ffeb63a785ed66a5c1","datavalue":{"value":"10.1007/BF00182116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119956$25295FA3-24B2-4424-95C1-7D8A88531925","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1555f3450c86e90883b7f7574a82d6c469043fa9","datavalue":{"value":{"entity-type":"item","numeric-id":580384,"id":"Q580384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119956$E19CA514-5D05-4A5C-B345-60A2986E8089","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b27d55f344dc6bfd48e3ff9582c04d67175a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":181320,"id":"Q181320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119956$202D331E-D779-4B70-AAA0-D39E6794F51B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1119956$0F480274-C34D-49BA-B43F-DEEA36B59308","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb435d4a76e85e3d5faceba4f60384af62be2028","datavalue":{"value":"The author proves that there exist Hilbert lattices L with the property (extension) that each ortho-isomorphism \\(\\tau\\) : [0,a]\\(\\to [0,b]\\) between arbitrary interval sublattices of height at least 3 in the orthocomplemented lattice L can be extended to an ortho-automorphism of L. These examples of lattices with the extension property are of infinite height.    On the level of sesquilinear spaces the extension property is of interest because this property implies orthomodularity of the underlying polarity lattice of orthoclosed subspaces.    The author also constructs Hilbert lattices that do not have the extension property but do enjoy the cancellation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$DAE9D390-585F-41E6-AF40-24131DCB7832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119956$86145AC9-379F-4405-B72B-C008051BA7E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa39ff9fed58388345acd887912e16fa3856a5ba","datavalue":{"value":"4099384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119956$B3C9FC85-5ED9-428C-A7C7-EEBBD1CA5684","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207a8a5b96a31ceaf82a0f485714c3ebf6cebeee","datavalue":{"value":"Hilbert lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$F6E7E06B-C26C-429F-9946-2CE3C7EC4E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40643d76ce095e7d4d91adaef3394df26373f213","datavalue":{"value":"ortho-isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$7999E7E6-2E56-4EC5-85FA-797DEDA41C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0812a1c866046b1722bf71c40157860ff76183bc","datavalue":{"value":"interval sublattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$4A7E58E8-CF62-4AC6-8D28-0667FEC33331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7021acd2cb46d1c8cc46a885b36dbefb6828cb0","datavalue":{"value":"orthocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$02F1D421-F8D7-470E-9603-E3BCBF6CC717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef23eca485d4406ba22b1553d154f0247ab251d","datavalue":{"value":"extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$0F581849-6467-42D2-B3D9-886203F7815E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c77be0160fa3c3c9bbbab1950d1ed60a0001180","datavalue":{"value":"sesquilinear spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$1F7C530F-9130-4E7A-9E8B-7199A51E9C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65136cb7471b7c30a7c829671d94d5ed3bd80985","datavalue":{"value":"orthomodularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$A25463DE-6697-44E5-B7E6-8C4153FFDA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e7bb407940ecbe81da6025b76a14df9026c22e","datavalue":{"value":"polarity lattice of orthoclosed subspaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$2F4FE235-A97A-46EC-A342-283B98504F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4acbcb00eda84733b1fd4606d188aa29919817fc","datavalue":{"value":"cancellation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119956$8B4D968E-98DC-4B84-AD3E-AAFE9D6AB230","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":"Q1119956$85CDF407-78A9-4827-B0F7-63D150C34002","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe8ba6dd765715710d5ba9ed9f5a0d298c0a869","datavalue":{"value":{"entity-type":"item","numeric-id":3764193,"id":"Q3764193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe4a9d97b67eb8c99c1f79d5ccbbf25e515013e","datavalue":{"value":{"amount":"+0.7976151704788208","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":"Q1119956$6BF7FF3F-2343-42F0-B3B6-BC0F98288525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e28b7b53cadf444f59d34d631cf4902271c4d290","datavalue":{"value":{"entity-type":"item","numeric-id":3676185,"id":"Q3676185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27754711c506b1d6f4b10d3215ce6b805e8d4192","datavalue":{"value":{"amount":"+0.747604250907898","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":"Q1119956$840A64B4-E1AD-475A-B15B-7F490791201D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef84e13c803788ff2e9a39980c1b90f94cd4967d","datavalue":{"value":{"entity-type":"item","numeric-id":4007198,"id":"Q4007198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874a10b00fde48af54037aa2bea3660184e8bcdc","datavalue":{"value":{"amount":"+0.7447798252105713","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":"Q1119956$EA066AB3-D7DD-492E-916B-65EAB97567C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602b9788d84c3c64f81b9acd40135b027c94df50","datavalue":{"value":{"entity-type":"item","numeric-id":3475307,"id":"Q3475307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033ce177e85e40a084f33bf6cde7a7b6ddb2041d","datavalue":{"value":{"amount":"+0.7423300743103027","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":"Q1119956$D2EE2523-FCC6-468E-B5BE-014AD8902F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72743c9764df3868671ba78bd4f61acc79bf10ed","datavalue":{"value":{"entity-type":"item","numeric-id":2697644,"id":"Q2697644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd143097d3bce77ac334e8e1997d182ef98fd253","datavalue":{"value":{"amount":"+0.7405213117599487","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":"Q1119956$8265D4D3-17CB-4452-8DF1-B3743D51164F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert lattices with the extension property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert_lattices_with_the_extension_property"}}}}}