{"entities":{"Q1267546":{"pageid":1278296,"ns":120,"title":"Item:Q1267546","lastrevid":67170288,"modified":"2026-04-12T15:46:11Z","type":"item","id":"Q1267546","labels":{"en":{"language":"en","value":"Amalgamation of ortholattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1210052"}},"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":"Q1267546$133DFBC4-899F-479D-A650-A18F40DF68F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62bacdd1231d10937f665168783c3107f79b9ff5","datavalue":{"value":{"text":"Amalgamation of ortholattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1267546$3BB1EF3C-FD6F-4158-8DF0-4DEC1814E6A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"217b65b09213df5f22bb6f0fa39c6f6953a770c7","datavalue":{"value":"0909.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267546$E50A5386-954E-46A4-904A-29E20A8FCB3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1e0ee183f1bc84daab9a4ff91fbd6c6413d7d3d","datavalue":{"value":"10.1023/A:1006090004568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267546$C6E29CC6-808F-4EEB-964E-3C28460CB73E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a9f9cbe3caa94c5a830073c0f8ceb50e97586d9","datavalue":{"value":{"entity-type":"item","numeric-id":172076,"id":"Q172076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267546$C12701F7-3301-49D3-B055-86080FFCCD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964552f1ca1599a782b430399087268d0916d050","datavalue":{"value":{"entity-type":"item","numeric-id":768485,"id":"Q768485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267546$4A7A6800-C724-46E3-8334-0596C9B842C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267546$18E3B3A6-57AF-4FAB-B2B5-DCC53E842A68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8d1413277a7a64ece35cd3951c91118cf93b3b0","datavalue":{"value":{"time":"+1999-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1267546$E0BE7EE0-B96D-47ED-B8AA-3B82672F358A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56b7f7a0f8bdc8cb20bd4f3548e17afeab851da8","datavalue":{"value":"Let \\(K\\) be a class of algebras of the same type. \\(K\\) is said to have the (strong) amalgamation property (S)AP if the following holds: If \\(B,L_1,L_2\\) are algebras in \\(K\\) and if, for \\(i=1,2\\), \\(\\varphi_i\\) is an embedding of \\(B\\) into \\(L_i\\) then there exist an algebra \\(C\\) in \\(K\\) and, for \\(i=1,2\\), an embedding \\(\\psi_i\\) of \\(L_i\\) into \\(C\\) such that \\(\\psi_1\\circ\\varphi_1=\\psi_2\\circ\\varphi_2\\) (and such that in addition \\(\\psi_1(L_1)\\cap\\psi_2(L_2)=\\psi_1(\\varphi_1(B))=\\psi_2(\\varphi_2(B))\\)). If \\(K\\) is a class of ortholattices and \\(B\\) is a Boolean algebra one speaks of the (strong) Boolean amalgamation property (S)BAP. The following theorems are proved: The variety of ortholattices has the SAP. The variety of orthomodular lattices (OMLs) has the SBAP, but does not have the AP. The variety of modular ortholattices does not have the BAP. No non-Boolean variety of OMLs which is generated by OMLs of bounded height can have the BAP. Finally, some open problems are formulated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267546$1744525D-0D1A-49AE-B4B6-EE6138A616F8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"979ef4a30a3c4b4dc502fe36ddec548597439b00","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267546$7A709B46-7A9E-4207-A4B0-4DA7882002D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267546$6E83EDC2-2721-43A4-9C75-65BCB186C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267546$FD1A65BC-4498-42C0-8F3A-A0AF55E3095B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267546$1AD89D76-3F89-40C4-B732-9192C95F9961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53638ab978a3f68e88d121ad6dbd508f9999b8c8","datavalue":{"value":"1210052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267546$4CB23AAB-B40B-4C42-ABC3-EFB4D657BD7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267546$8CA89B65-1EB4-4EDC-AC39-C7483024E479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7350834e64ba74af56bc92d4f6e1100e6dc4a4c","datavalue":{"value":"strong amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267546$1AA3431C-09CE-42B0-BDB0-482C17379957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709afaf735aa7ba7c328581922d52596b8132550","datavalue":{"value":"Boolean amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267546$56F6D08B-5680-48BD-B659-30B8C62C27F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146e2c2b99ff2eedbd0e20d81d70326f625f87ef","datavalue":{"value":"ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267546$4919DC93-6A13-485D-A043-8B98D6B1D14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267546$F111AF7A-EB96-4277-AE5D-893B67489E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f16d96fc20376f535a7fb9addd65e3e7c2d2bfb","datavalue":{"value":"modular ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267546$EB7C43AB-74F8-4D1A-B766-42177986D47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0294634c988a85252882a1e3a6ced73439f0eac0","datavalue":{"value":"bounded height","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267546$624C8A70-0904-43D1-BAD9-3EC0C8BEF692","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":"Q1267546$67564EF0-82AB-492F-868C-B68D87824318","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"025a0f547ebae819174892895e991d9a38451345","datavalue":{"value":"https://doi.org/10.1023/a:1006090004568","type":"string"},"datatype":"url"},"type":"statement","id":"Q1267546$9701E2BF-05C5-4583-A23A-584D9FFB08A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4bdae613182f16c844ee880e113c802dcc606ae","datavalue":{"value":"W176942911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267546$0D7C25EB-7B4C-4F6E-9E70-05A943EA3FC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396520056ac1574f83f63d830c06492f9e29e05f","datavalue":{"value":{"entity-type":"item","numeric-id":3795675,"id":"Q3795675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db97ba4e718ecbbc7fea68b1c9b7bfdc541ac7c2","datavalue":{"value":{"amount":"+0.8212440013885498","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":"Q1267546$95A02792-CE47-4B60-8DF2-C2CE54431CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6ce1330b82ca13980496e236209ebfc82ac401","datavalue":{"value":{"entity-type":"item","numeric-id":3340909,"id":"Q3340909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf0aedf90520cb3549eedd3e91fe6561cf5f9d5","datavalue":{"value":{"amount":"+0.8203234672546387","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":"Q1267546$36E677D4-4B27-4E33-81AE-10F4003AC4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c615e7a317ab56d2863ae86fef057cee30803dc","datavalue":{"value":{"entity-type":"item","numeric-id":1062086,"id":"Q1062086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdc3a59e9eb440da8456dfda5b7e31d3857d7a2","datavalue":{"value":{"amount":"+0.8009079694747925","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":"Q1267546$0C3E8B6B-EB8E-4D86-8DD8-93307BE4226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2636ba1595ed749f6291f5b3df1a87c8beca962c","datavalue":{"value":{"entity-type":"item","numeric-id":4487296,"id":"Q4487296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c7a56b12bcc008de45048abda0c962c72f2dfb","datavalue":{"value":{"amount":"+0.7949954867362976","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":"Q1267546$FAE841F1-2445-4910-B2B9-F75E98007588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5966e47d17e5e804ded9d174b1b2324bf0030b9","datavalue":{"value":{"entity-type":"item","numeric-id":1204368,"id":"Q1204368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc44e0e230a75b76b61b49f0a160df440264a73","datavalue":{"value":{"amount":"+0.785926342010498","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":"Q1267546$7DDCF5D3-C75D-44BC-AC31-08256F265795","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Amalgamation of ortholattices","badges":[]}}}}}