{"entities":{"Q1421600":{"pageid":1432340,"ns":120,"title":"Item:Q1421600","lastrevid":68795913,"modified":"2026-04-13T02:06:44Z","type":"item","id":"Q1421600","labels":{"en":{"language":"en","value":"Antosik-Mikusinski matrix convergence theorem in quantum logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2036921"}},"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":"Q1421600$2610D290-C4AD-4D49-990E-5E9B9F8ECCCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c0223e6a048cb0185d9a1471714ba3f28420eec","datavalue":{"value":{"text":"Antosik-Mikusinski matrix convergence theorem in quantum logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1421600$1CFC3D9B-062C-459F-B9C7-6BA18984A5BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecb9820d99ef80c8c02e750ba2ce23a3d20a724f","datavalue":{"value":"1047.81006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421600$1278ABC7-2191-4F82-9DB9-34B8D6CE74DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fde642799acf89a0983da6d5d0db0857f703b2fa","datavalue":{"value":"10.1023/A:1027322716823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421600$F5E6C5B9-6343-4B15-87DC-BB0246355C61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbad58d12c9b39cf414ac625f7cb4d1bb16c512e","datavalue":{"value":{"entity-type":"item","numeric-id":171330,"id":"Q171330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421600$5049E67E-D548-495B-87A1-7F3FA5B8A2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5f7676d54496c8a6dda9334cbacfecc2f56d08","datavalue":{"value":{"entity-type":"item","numeric-id":188947,"id":"Q188947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421600$22F55A6E-FB18-4A26-AB76-08C13DF0E182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade9119cab8f3b0cda4296771f9c62766eb0b791","datavalue":{"value":{"entity-type":"item","numeric-id":233131,"id":"Q233131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421600$026F4B4E-87D7-4549-AB7F-9A7BC08F40D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421600$6C7DBA5C-0470-47A7-A8E3-BAF24E39FF3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90f9531aea2ff67f2ad60a47f2412a1f7827bd33","datavalue":{"value":{"time":"+2004-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1421600$3045945F-DDC3-42DC-AB18-0BF3508A26BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22185009ef001ec69b306dacb64bb160f5e6ed61","datavalue":{"value":"Let \\((L, \\perp, \\oplus, 0,1)\\) be an effect algebra. A net \\((a_\\alpha)\\subset L\\) is order convergent to \\(a\\in L\\) if there are nets \\((u_\\alpha)\\), \\((v_\\alpha)\\) in \\(L\\) such that \\(u_\\alpha\\leq a_\\alpha\\leq v_ \\alpha\\) and \\(u_ \\alpha\\nearrow a\\), \\(v_ \\alpha\\searrow a\\). The order topology, \\(\\tau_ 0\\), on \\(L\\) is the finest topology such that the order convergence implies convergence in \\(\\tau_0\\). \\(L\\) is said to be connected if for all \\(a,b\\in L\\) with \\(a<b\\) there is a \\(c\\in L\\) with \\(a<c<b\\).  The following infinite matrix convergence theorem for totally ordered connected effect algebras is proved: Let \\((a_{ij})_{i,j\\in N}\\subset L\\) where \\(L\\) is a \\(\\sigma\\)-complete totally ordered effect algebra. Suppose that (i) \\(a_ {i,j}\\to a_ j\\), \\(j\\in N\\), for each \\(i\\); (ii) \\((a_{ij})_ j\\) is an orthogonal sequence for each \\(i\\), and for each strictly increasing sequence \\((\\alpha_ n)\\) in \\(N\\) there is a strictly increasing subsequence \\((\\beta_m)\\) of \\((\\alpha_ n)\\) such that the sequence \\((\\oplus_m\\, a_{i\\beta_ m})_ i\\) is a \\(\\tau_0\\)- Cauchy sequence. Then \\((a_{ij})_ j\\) is \\(\\tau_ 0\\)-convergent to \\(a_ j\\) uniformly with respect to \\(j\\in N\\). As a consequence, the Hahn-Schur Theorem for effect algebras is established.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421600$7F336875-12CD-4306-A495-3BFF3A870F52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421600$6B3EB969-FCB2-48F6-A4B6-4EC599961194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c09318d7b9625a4b5b225c8e166fb7b251fd5c73","datavalue":{"value":"2036921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421600$6723F146-55B5-49B0-BB7D-41B9456E6861","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0cfd894b183b3a5246899ae223e1b6a3a1ec0f4","datavalue":{"value":"order topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421600$A1A95A46-FC28-4258-B1F2-FF8044E73545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d16ef6d40a3629b7e189c155cf351c485312fa","datavalue":{"value":"matrix convergence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421600$8363526A-0F5C-47E1-8782-C42F1F99A358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421600$A44E5B4D-7A5D-490C-80E1-ABDE7D5EC186","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"08b54deee4afffdb5d0d9bf68af097b49050db41","datavalue":{"value":{"entity-type":"item","numeric-id":285977,"id":"Q285977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421600$6252040C-90A5-4083-961E-0EC78CCD49A4","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":"Q1421600$EF7792FE-3795-4C46-9799-4E99C0A788CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61a2e054df7afc70ea2bb9e9e4abeb77b1920804","datavalue":{"value":"https://doi.org/10.1023/a:1027322716823","type":"string"},"datatype":"url"},"type":"statement","id":"Q1421600$B69D1664-A913-4828-AA36-BC2628407337","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0493eaab149cde770ea7dae40dbd3a597ec8508","datavalue":{"value":"W6544605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421600$78CAA6C1-227C-4EE9-B94B-4E58232EB134","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e802ed26e0d4a30fa9ac824251544d72d9b6087","datavalue":{"value":{"entity-type":"item","numeric-id":3778752,"id":"Q3778752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f8b9e532654b0c1c096486736c45cb82d04322","datavalue":{"value":{"amount":"+0.8923292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$F6898E23-7B98-4D3A-9D05-F31B8BCE718A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ed245d7256a49ee23d79f768cbc47add38519e","datavalue":{"value":{"entity-type":"item","numeric-id":1421657,"id":"Q1421657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72dcfad585e804656ed63a11a862f55c2e38bd21","datavalue":{"value":{"amount":"+0.8854749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$8E99F0D7-20A5-4F0F-AE1F-A1C00CFCC30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5820586f82a8114196f1f0652e7a0da54ffa9d12","datavalue":{"value":{"entity-type":"item","numeric-id":1325722,"id":"Q1325722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7b02f42c6f3758f73df2006d8b09da5e258c24","datavalue":{"value":{"amount":"+0.8818588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$A06EB650-65D4-4D8A-B9EA-EEEDBD849561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4596c987127fc0c810c675581bb93888e1e76a64","datavalue":{"value":{"entity-type":"item","numeric-id":1303604,"id":"Q1303604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86db9e8569f66a440080ac981ce03f0c248f6fe2","datavalue":{"value":{"amount":"+0.8652621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$EB44E740-0F06-4B5E-BF94-2BA683283F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020fa8160845e39643747e5bc4f2750d6afd98ae","datavalue":{"value":{"entity-type":"item","numeric-id":798653,"id":"Q798653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9848c8e7ecc9c4ab83ae36941d0c756398f4b4","datavalue":{"value":{"amount":"+0.8602954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$ADC0B659-F4E1-4403-83B1-6D2C64BC8889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21f89d6648b44b9a7783144ca92d4c1aec3712e","datavalue":{"value":{"entity-type":"item","numeric-id":4955676,"id":"Q4955676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342e770409cc057c86720719c87b03023ca4580e","datavalue":{"value":{"amount":"+0.85720986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$A86FF60D-B471-48AF-8218-17CDD8266FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695e218fb802e052bd147b95e8fbb1570f65ec1e","datavalue":{"value":{"entity-type":"item","numeric-id":2276398,"id":"Q2276398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7d60747d3d5189242c0079cd4a3ad0eebd9b39","datavalue":{"value":{"amount":"+0.8564168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$CBCD2C1D-7A7F-4E5F-BB60-2AC9CDCEB3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151428926ca87df5b75c2de8a785d2fdee320c56","datavalue":{"value":{"entity-type":"item","numeric-id":685175,"id":"Q685175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7dfeedce11756617a89ccc5c3641544494cd2f","datavalue":{"value":{"amount":"+0.85622287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$BFB9E779-0193-482A-B826-307099CEEBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2f422e963b1ff202bcdf036b67953123443f01","datavalue":{"value":{"entity-type":"item","numeric-id":4795804,"id":"Q4795804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947fa77f2c6df43fb7be9d010978725eb6ec341c","datavalue":{"value":{"amount":"+0.8554591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$4A5587E5-5ADF-4ABF-88EA-066CE37C1B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898bbf1482ee7bc6a2377c3ff8a00e9e5caa3d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3712337,"id":"Q3712337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99a36fca9d4c2c606357b52e79f818f86d87843","datavalue":{"value":{"amount":"+0.852926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421600$F311DB79-981A-4D3B-A38F-E46049DCB8C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Antosik-Mikusinski matrix convergence theorem in quantum logics","badges":[]}}}}}