{"entities":{"Q1042416":{"pageid":1044264,"ns":120,"title":"Item:Q1042416","lastrevid":66901221,"modified":"2026-04-12T13:36:49Z","type":"item","id":"Q1042416","labels":{"en":{"language":"en","value":"Effect algebras with the maximality property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5646230"}},"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":"Q1042416$169BBC91-1A25-42F7-B3D3-E9D481BB4B2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f9a5c36de71833089a8bb0e46533c73e1e62ea7","datavalue":{"value":{"text":"Effect algebras with the maximality property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1042416$0F7BD1D4-FAD9-4C5A-AFF9-8495A3BBE537","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8d705a3ee6867633d7ae3b2fe1e302be11e76c3","datavalue":{"value":"1189.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042416$F8E36AD4-6636-4202-B962-71BBA512FAD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c56f2c38d8e64c700cc4dc394aa50d35f1d4579e","datavalue":{"value":{"entity-type":"item","numeric-id":429935,"id":"Q429935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042416$506F4C60-99B7-4533-B606-6E3B6CDB36BE","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":"Q1042416$D3402EF4-5A3C-4E30-9C63-D37CA688695A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e41f1f6a92c504ea1d880589590d0d5052fddbb","datavalue":{"value":{"time":"+2009-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1042416$75F621B2-1CCB-408D-BE38-609B297A93E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"978f6014c255e58959c9d6d19e6ed021b5004469","datavalue":{"value":"https://arxiv.org/abs/0712.3717","type":"string"},"datatype":"url"},"type":"statement","id":"Q1042416$ED9E1398-9728-483C-88C0-44EE97ABC9B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa87c01003a4327fe72958da90b22fa3b2136cf2","datavalue":{"value":"We recall that an effect algebra is a partial structure \\((E,\\oplus,0,1)\\) such that \\(\\oplus\\) is commutative, associative, and (i) for any \\(a \\in E\\) there is a unique \\(a'\\in E\\) such that \\(a\\oplus a'=1,\\) (ii) if \\(a\\oplus 1\\) is defined in \\(E,\\) then \\(a=0.\\) They generalize orthomodular posets and orthoalgebras. An effect algebra has the \\textit{maximality property} if \\([0,a]\\cap [0,b]\\) has a maximal element for all \\(a,b \\in E\\).   The paper proves that every Jauch-Piron effect algebra \\(E\\) such that every state \\(s\\) is Jauch-Piron (i.e., if \\(s(a)=s(b)=1\\), then there is an element \\(c \\in E\\) such that \\(c\\leq a,b\\) and \\(s(c)=1\\)), then \\(E\\) is an orthomodular poset. In addition, a set of Jauch-Piron states with maximality condition is unital iff it is strongly determining.   This enables the author to prove that every Jauch-Piron effect algebra with a countable unital set of states is an orthomodular lattice.   Finally, some relationships between different conditions are shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042416$C3DEC8B3-8911-4810-96FA-684F0E4AB800","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22927c3bf27a8e7899b9f81e34ce760065ebdbf6","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042416$616EEDCB-F5A3-4B06-AAE7-1DB8E4C14FFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042416$186E1116-3321-4EF7-8140-CFE39D53BC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042416$0300EB8B-B392-46AC-91BC-61A663EB3EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042416$6450E21C-F857-41D3-8693-7426A5807D8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f0f356d18ef1c9c5d1cca817b920dcc6d29b15","datavalue":{"value":"5646230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042416$A8510049-83D8-49C3-8EAE-6710625240B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042416$131B63B5-6792-442F-BA4C-0CF1135B9FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb935da4257b2247283d8fb9e1a9d36f1850ff01","datavalue":{"value":"Jauch-Piron state, maximality property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042416$88B455AD-FE39-4F4C-941B-C8C8C83E44BA","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":"Q1042416$3C684537-ADCD-4F04-9D93-9A8406363CAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d1f9078b108d9f2edb5b848153a8b94e5087597","datavalue":{"value":"W1969202382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042416$DE61C883-E0FF-4D94-85C2-B27AF9700BC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042416$870EF681-4BCF-460C-A162-808C976A8A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1ec69a062a43b44276fc58b310d7eddc1f0f70","datavalue":{"value":{"entity-type":"item","numeric-id":1200425,"id":"Q1200425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042416$BE8B4215-B7C0-45B1-9AF5-3378990EA890","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":"Q1042416$AD5355E0-E0A5-44BA-89ED-0E53261EA6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b9f882568f0b9d8fc0b2f4d285f4a0d4c4b176","datavalue":{"value":{"entity-type":"item","numeric-id":5551052,"id":"Q5551052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042416$8CBB8C8A-1384-4A15-AC26-89E8D55B2A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88eddf9de3e2ff57444220bb3540afa2f630a224","datavalue":{"value":{"entity-type":"item","numeric-id":4806413,"id":"Q4806413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042416$407DBC25-9607-4368-BD6E-4BADA4DDEEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999e7154db0170daa6d899a699de2c1dd1215281","datavalue":{"value":{"entity-type":"item","numeric-id":1801523,"id":"Q1801523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042416$94823E0F-47D8-465B-BD32-5C02F412E6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd2406b5b224c3a92c3b452bf1d7826c4ec0c0e","datavalue":{"value":{"entity-type":"item","numeric-id":4244865,"id":"Q4244865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042416$6919C13C-0E62-4699-8A84-FCA1BCF8680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe2531189164769d107c20e7d5cc7126175d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":1768696,"id":"Q1768696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042416$EB224090-B9AF-47AB-926A-D7298878034C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa2ee49b1cbb3740abe11410fa23f136b67d020e","datavalue":{"value":"10.1007/S00012-009-0013-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042416$B2C4B8FB-20DB-4571-8B65-7D38C3DAB8DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf74a3d297814e81aefbef2076913bd88eb2b80","datavalue":{"value":{"entity-type":"item","numeric-id":2239417,"id":"Q2239417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a352d69b9ab62e91d18c2de1204763d65065a5ac","datavalue":{"value":{"amount":"+0.8619663715362549","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":"Q1042416$CD26EFFD-5BAF-4609-AF90-7FD914840E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa83633ecb79e4b81cb847e5e7a3decb3302d50","datavalue":{"value":{"entity-type":"item","numeric-id":2958868,"id":"Q2958868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bce45a8056e2456827c353814f05833540d8bf7","datavalue":{"value":{"amount":"+0.8147469162940979","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":"Q1042416$2B9B0582-EBBA-48B7-BBAF-DB20A13F1A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107dc1d000f616cecb1cb4b6e36838ea357d6c7f","datavalue":{"value":{"entity-type":"item","numeric-id":429952,"id":"Q429952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed1f595323da832b003e3f66edef36e8ab31ce2","datavalue":{"value":{"amount":"+0.809834361076355","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":"Q1042416$92BB9103-8ABB-4E22-B359-33B7E157FA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ddec993f26a78eab9ebbb2bf55d9b6df780fc6","datavalue":{"value":{"entity-type":"item","numeric-id":2565805,"id":"Q2565805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0e6190baaaffbdd1f256b1f699c113d39e938c","datavalue":{"value":{"amount":"+0.7937960624694824","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":"Q1042416$3F9A2DF6-3795-4300-9520-3FE99FE9CAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea27aad441d46338d3510e77a1b1f18bb9696af","datavalue":{"value":{"entity-type":"item","numeric-id":4454676,"id":"Q4454676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8be0357156fd12fea865f5ffc3db6da3787e6d","datavalue":{"value":{"amount":"+0.792673647403717","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":"Q1042416$1658B859-FE89-4627-A9F2-0EA4E5ABEF6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effect algebras with the maximality property","badges":[]}}}}}