{"entities":{"Q798344":{"pageid":800192,"ns":120,"title":"Item:Q798344","lastrevid":64455846,"modified":"2026-04-11T19:59:43Z","type":"item","id":"Q798344","labels":{"en":{"language":"en","value":"An orthomodular analogue of the Birkhoff-Menger theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3869397"}},"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":"Q798344$0649AABA-2984-4723-AD2F-081ABB2120DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98c84e10ba9540244425a4354cda9ae0ede8e1d1","datavalue":{"value":{"text":"An orthomodular analogue of the Birkhoff-Menger theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798344$7AB38D44-55B5-4028-B6EB-32665E3F28F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f59cc6f0bdcf13e082d0522d75f5e7b3f9729b83","datavalue":{"value":"0546.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798344$D1B148A8-A0A6-4158-9CDC-795B308CDE89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2daef2aa8c1436b948e1a1f5ede49b0cc0b9a9a","datavalue":{"value":"10.1007/BF01191492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798344$80776078-2597-45F2-9F26-172F4DA6621A","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":"Q798344$2604039B-E151-4184-A26B-D867A09C6958","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":"Q798344$F5B0D473-3C22-4965-A13C-7FD224B78B71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"401018b25f93b568a35e083e9131a1d5854d47c5","datavalue":{"value":"An ortholattice is an algebra \\((L;\\wedge,\\vee,',0,1)\\) where \\((L,\\wedge,\\vee)\\) is a lattice bounded by 0 and 1 and \\(x\\mapsto x'\\) is an antitone complementation of period 2 \\([(x\\wedge y)'=x'\\vee y',\\quad (x\\vee y)'=x'\\wedge y',\\quad (x')'=x]\\). An orthomodular lattice (abbreviated OML) is an ortholattice satisfying the orthomodular law: \\(a\\leq b\\Rightarrow a\\vee (a'\\wedge b)=b.\\) Every maximal Boolean subalgebra of an orthomodular lattice is called a block. An OML is block- finite if its set of blocks is finite. A bounded lattice is said to satisfy the chain condition if it contains no infinite chain. For the other terms see \\textit{G. Gr\u00e4tzer} [General lattice theory (1978; Zbl 0385.06014)] from which (p. 154) we recall: (A) Every sectionally complemented weakly modular lattice of finite height is isomorphic with a product of simple lattices.    In [Can. J. Math. 30, 315-320 (1978; Zbl 0384.06013) and 31, 961-985 (1979; Zbl 0429.06002)] \\textit{G. Bruns} developed the theory of block- finite OMLs and proved (B) Every block-finite OML L is isomorphic to a product \\(B\\times L_ 1\\times L_ 2\\times...\\times L_ n\\) (\\(n\\geq 0)\\) where B is a Boolean algebra and the \\(L_ i\\) are irreducible OMLs with at least 2 blocks each.    The author generalises these two results. He proves that in (A) the condition ''of finite height'' can be replaced by ''the chain condition'' and that in (B) the irreducible OMLs are simple. One gets now an orthomodular analogue of the Birkhoff-Menger (1935-36) theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798344$87FA4165-B6B6-4ACF-89D5-DB7A9CED0902","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798344$5E30A287-8BB7-4216-9F11-A2494EAB403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798344$6F33703E-A693-4E2B-83B0-2C22A0BE08EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2657bcc296f3115c22837cdc58915d36a3e4ed86","datavalue":{"value":"3869397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798344$8404E9C1-EFA6-45AA-ADB3-FE9519455814","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146e2c2b99ff2eedbd0e20d81d70326f625f87ef","datavalue":{"value":"ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q798344$13F811DC-1260-4093-9BD9-77CAF975037A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q798344$6B3B4900-4984-4E5E-B6D7-C556E41CC5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3992213f42ec448fd1744d868c429754118e0d","datavalue":{"value":"blocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q798344$6D33D330-A710-4E0F-81D5-75C93183CC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c9a28fffab7a3472c7094358efc146046f700a0","datavalue":{"value":"bounded lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q798344$E8B2250C-2FFD-4DE7-BA8E-829843F66497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57055338cecb8767a56254083a384e2580c152d","datavalue":{"value":"chain condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q798344$52AF1A33-828B-4023-B7AA-CBD6AA3388F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1253b3bde32257e43693772c7e00c330ccdaa89","datavalue":{"value":"sectionally complemented weakly modular lattice of finite height","type":"string"},"datatype":"string"},"type":"statement","id":"Q798344$A3DCDA3B-4A5E-4D99-99EC-9EFE7BD377B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e1849d2ce102af2106bb5d56b0f7cc908fa0bd","datavalue":{"value":"product of simple lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q798344$F50E4F98-3663-4F75-A314-6D71AF27254C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c1eff009ca801a37bf92a3712085b719657e34","datavalue":{"value":"block-finite OMLs","type":"string"},"datatype":"string"},"type":"statement","id":"Q798344$C1A8AFF9-CCE6-43DD-B14E-CFA9CF6B1743","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc483e72969acb7c734c73c185088c4f5273de1","datavalue":{"value":{"entity-type":"item","numeric-id":429919,"id":"Q429919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798344$5DC3957A-EB84-4205-A6D9-0B791737FFA6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798344$78C4766C-52F6-4842-B50C-ED3A264D50A0","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":"Q798344$6BC88A08-52F9-425B-83E6-52849C12D696","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3792a67c1c8de1deff1f2a4dce46ed565a614e8","datavalue":{"value":{"entity-type":"item","numeric-id":4163277,"id":"Q4163277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798344$80EB243D-1733-47FB-9EA8-7DF0A4B4BF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf23e2d7d82e2897714d21b7aace3bc3f5e4881","datavalue":{"value":{"entity-type":"item","numeric-id":3866163,"id":"Q3866163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798344$583A049C-5F7C-43AC-BC53-824400D70766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be92fdd103c01b93cf84bef3ede37f947770970","datavalue":{"value":{"entity-type":"item","numeric-id":3292590,"id":"Q3292590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798344$A4BE20B9-BF01-43A9-853B-69A7E302957D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b9cd50c0906dfc0f37eb92d1680cdfd2915493","datavalue":{"value":{"entity-type":"item","numeric-id":5538968,"id":"Q5538968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798344$05B75B29-6294-4187-B899-8C00A28F5E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd09beb4c183e13f45b1b0fb5385f18de081de6","datavalue":{"value":{"entity-type":"item","numeric-id":2546886,"id":"Q2546886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798344$3033DC23-29B1-4ED4-84FD-43E3D5DFA4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4293874795ac709ce4d112763a0625a4794d25","datavalue":{"value":{"entity-type":"item","numeric-id":4750696,"id":"Q4750696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798344$E859163F-20EB-4459-B719-92F036DD21B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba46323c2bee15a825fb0b9cb1206bb82a94283d","datavalue":{"value":{"entity-type":"item","numeric-id":4955003,"id":"Q4955003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363e1bd3b478e77194a78a16a971f6123bd99e61","datavalue":{"value":{"amount":"+0.8220742344856262","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":"Q798344$E2215D79-2F80-4EE7-9822-A92E08EFA9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d30d42a93c0b3ed6a7b70778cc6a04886021c5c","datavalue":{"value":{"entity-type":"item","numeric-id":908949,"id":"Q908949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404d0c4afaf602cbf6372d3024003438493d8ea5","datavalue":{"value":{"amount":"+0.8043769598007202","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":"Q798344$386F2791-8EFC-44EB-B1E2-DA579EE90766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da9b600948a2d455389062033928f5a32b0a756","datavalue":{"value":{"entity-type":"item","numeric-id":689271,"id":"Q689271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57916e86c155b9fd3954f6984171766b9fe0b084","datavalue":{"value":{"amount":"+0.8016324639320374","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":"Q798344$793D6DA7-4923-4887-A50C-9932C6AA3291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0e16efa30abc3bafaacc48c0978c221b3880a3","datavalue":{"value":{"entity-type":"item","numeric-id":3689226,"id":"Q3689226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3690ba35cbac6737a48d2a5cc46ff3ee75c8d2","datavalue":{"value":{"amount":"+0.7912209033966064","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":"Q798344$FD3A5AEE-591E-414E-A70C-7E2D62354B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3eac8f81468e185653a3932ce97bea1dfce13b6","datavalue":{"value":{"entity-type":"item","numeric-id":801951,"id":"Q801951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4481562c3b39eb56624b240e4976e4512acd18","datavalue":{"value":{"amount":"+0.7905197143554688","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":"Q798344$806174CB-CDCA-4377-9E26-715F1D833CA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An orthomodular analogue of the Birkhoff-Menger theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_orthomodular_analogue_of_the_Birkhoff-Menger_theorem"}}}}}