{"entities":{"Q5920652":{"pageid":8053133,"ns":120,"title":"Item:Q5920652","lastrevid":49927783,"modified":"2026-01-12T02:51:24Z","type":"item","id":"Q5920652","labels":{"en":{"language":"en","value":"Extending states on finite concrete logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5058004"}},"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":"Q5920652$882D0542-2DFF-4D2F-9187-A0EDD8450F2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d35577a849942be6c4712d68b5589276566e6ed7","datavalue":{"value":{"text":"Extending states on finite concrete logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5920652$82DCEC62-B632-4361-9B62-EAB6C6FA81C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab227e3c66b0be1a22df37e66f9b0a316d68a1d8","datavalue":{"value":"1118.81007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920652$73D2BA3A-F5D6-41DC-BF51-880BAE8999D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feee105baa6c365a2597ec0181b08fc864b62a80","datavalue":{"value":{"entity-type":"item","numeric-id":472734,"id":"Q472734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$4DB8CEC2-1623-4D47-B90A-C5C9585A111F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b10a2958a2cacb4b962e144ca74b43fc539bd5b","datavalue":{"value":{"entity-type":"item","numeric-id":170593,"id":"Q170593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$74CD5412-2E36-4B77-933D-135957154CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a064e70524c8149f39b383c8c423c9d586286d","datavalue":{"value":{"entity-type":"item","numeric-id":170594,"id":"Q170594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$D529FEAC-63D7-4C42-83D9-315D5DC89F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd5ce87c42f9510fcbc9bbc51a873e31188e9da","datavalue":{"value":{"entity-type":"item","numeric-id":312459,"id":"Q312459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$66EB528A-5E82-4BE5-AF59-71CAFE2804A6","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":"Q5920652$2B4B989D-03DD-458B-B94E-2753D3270C9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-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":"Q5920652$4EA88B34-719D-44B2-98BF-401B2B3445DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1067420fbb13ab1ba8f8e6c3de3ebcebc6886dd2","datavalue":{"value":"A \\textit{set-representable quantum logic} \\(\\Delta\\) is a subset of the powerset \\(2^X\\) of some finite set \\(X\\) which is closed under complements and disjoint unions, and contains \\(X\\). Any mapping \\(m\\) of \\(\\Delta\\) into the reals which is additive on disjoint sets is called a \\textit{signed measure}. If \\(m\\) is nonnegative and \\(m(X)=1\\), then \\(m\\) is called a \\textit{state}.  The authors continue among others work from De Simone and Pt\u00e1k (unpublished), \\textit{P. Pt\u00e1k} [Int. J. Theor. Phys. 39, 827--837 (2000; Zbl 0965.03076)], \\textit{P. G. Ovchinnikov} [Proc. Am Math. Soc. 127, No. 7, 1957--1966 (1999; Zbl 0921.03058)], \\textit{K. Svozil} [Quantum Logic (Springer, Singapore) (1998; Zbl 0922.03084)], \\textit{F. F. Sultanbekov} [Konstr. Teor. Funkts. Funkts. Anal. 8, 57--68 (1992; Zbl 0825.03057)], \\textit{M. Navara} [Real Anal. Exch. 14, No. 1, 228--234 (1989; Zbl 0734.28015)], \\textit{M. Navara} and \\textit{P. Pt\u00e1k} [J. Pure Appl. Algebra 60, 105--111 (1983; Zbl 0691.03045)]. They treat the problem of extending a given state \\(s\\) on \\(\\Delta \\) to \\(2^X\\).  Their results are: Let \\(X_e\\) denote the quantum logic of subsets of even cardinality of a set \\(X\\) of even cardinality. Then any state \\(s\\) on \\(X_e\\) may be extended to a signed measure on \\(2^X\\) (Thm. 2.3) which in general cannot be chosen to be a state. Also, this theorem cannot be generalized to logics \\(\\Delta \\) closed with respect to symmetric differences (Example 2.6). However, let \\(\\Delta \\) be such a logic on \\(X\\) whose intersections of pairs of sets generate all atoms of a Boolean algebra on \\(X\\), and let \\(m\\) be a signed measure on \\(2^X\\) which extends a state \\(s\\) on \\(\\Delta \\). Then \\( m\\) is even a state iff \\(s\\) is subadditive. In view of 2.3 it is interesting (Example 2.10) that there exists a difference-closed logic and a state \\(s\\) on it which admits no extension to a signed measure on \\(2^X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920652$9C8C8719-1CBC-4A5B-B042-5496530016F6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"adec00be824bd247cdea1af83bd0dad28a9541c0","datavalue":{"value":{"entity-type":"item","numeric-id":588356,"id":"Q588356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$881D5400-9FF9-4F21-9FA1-DDCAEAC93303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920652$F12D2147-A764-440B-8002-A6AFE3E1E20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920652$49341D1E-ABE7-4AF2-B70A-37995143FF59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a929320c2656e84b030477df19de9ee6c97f95a","datavalue":{"value":"5058004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920652$DA55C7C3-4EC6-4FBC-847C-99262D9A95FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e45d101bab73efbfe6b3320a8a59a771e22d4a4f","datavalue":{"value":"concrete quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920652$C8C6301E-9465-4257-ADD6-2A887CCE0E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920652$F04A81A9-4E12-4D31-A0E2-A4316AF9A343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3e9b5ddda6a1bcdbf4d71d695c5746114fb1d5","datavalue":{"value":"state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920652$6F1ACD0D-89C5-4EDB-9FD5-6C0A405BBE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef23eca485d4406ba22b1553d154f0247ab251d","datavalue":{"value":"extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920652$C4F7ADD3-A9EC-4603-97B2-48A5581168D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516a18f77f10795f0ad5d1e68e2e7a0d7ede891a","datavalue":{"value":"signed measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920652$FD7046C7-2AE0-43C5-807E-A1AD45901218","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"44fc34a170838d4eef1c4dabad3045a191cf5f2b","datavalue":{"value":"Q58620647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920652$346DDF1E-D5BF-42D2-90A0-0A1D3CD0DC67","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":"Q5920652$E4AA5709-249D-43F9-9054-4C284BA4493F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5eca0dd7669b50ea79e24e890e411d25d24d7b4c","datavalue":{"value":"https://doi.org/10.1007/s10773-005-7083-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5920652$F55EF5A4-4598-4EAE-B6F3-D6C3EC51C42C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5d4ef1898fe10a79a5a606551d8f77502707946","datavalue":{"value":"W2951879036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920652$D522CF30-7D31-4EEF-BB68-F60542F76FB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"401cc69c2f0d0ef28ffa7dd37076b86706fbb973","datavalue":{"value":{"entity-type":"item","numeric-id":3663565,"id":"Q3663565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$C8E7862C-193D-409E-BFFB-A5F0B13B4E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9976543ef9fbc2764c6028e3e6e4d60ab0729261","datavalue":{"value":{"entity-type":"item","numeric-id":1586454,"id":"Q1586454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$5617E838-56CD-4B22-8491-2AF781C165F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a90702322c1136d2999027a904317b01d5a9ac","datavalue":{"value":{"entity-type":"item","numeric-id":3414698,"id":"Q3414698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$02759508-1DBD-416A-9DD9-EF1C2D2AF571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718f546ee338c8d81d9c8d187dc454fb76ff92e4","datavalue":{"value":{"entity-type":"item","numeric-id":3881378,"id":"Q3881378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$F1921684-BF7C-4A01-B3C5-9CE04BE3CA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a29a8f69d379b8bbb4d5dc5dd204f30de544b5","datavalue":{"value":{"entity-type":"item","numeric-id":3964820,"id":"Q3964820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$D3A81E15-E5F0-49D7-ABFA-84AE7C58FBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0684727e908fce1cfeb50a95bc49644a71dab11e","datavalue":{"value":{"entity-type":"item","numeric-id":5792540,"id":"Q5792540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$FB33D492-CC74-4D2B-8B87-D123383E873A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fc56d9dbb69375ba6d6c1d08b7cb01ec36fa76","datavalue":{"value":{"entity-type":"item","numeric-id":810657,"id":"Q810657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$8AF409C6-63C8-4742-BB73-F63450762E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07810cf7e4c7d54f4445971d9519e81ef0db74fe","datavalue":{"value":{"entity-type":"item","numeric-id":3041452,"id":"Q3041452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$61005F48-E073-4F36-8C6D-945A94EB4BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e08f5fdeeff6f3cfcf6f93ba73f3ddec579ce4","datavalue":{"value":{"entity-type":"item","numeric-id":582292,"id":"Q582292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$D0590D7E-B86A-4BBF-835E-909F700C915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642a3673b243c373543c4335613d8f999f4b701","datavalue":{"value":{"entity-type":"item","numeric-id":4243663,"id":"Q4243663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$F5EA2616-B14E-4E7E-9998-C5D9E9EA1AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609437b3f2eb86ecc6091ccd69e589f7fdf016ba","datavalue":{"value":{"entity-type":"item","numeric-id":4852816,"id":"Q4852816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$83BCB3D3-25F0-4315-A79C-1FD4A7F16DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99fb626dc9eca90acd909a613b760094d7c51b79","datavalue":{"value":{"entity-type":"item","numeric-id":1266012,"id":"Q1266012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$52209D84-F6B7-49B3-9958-F30BF94ECFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8350c97165f856a868e49e4d8147af6ea6f4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":1586479,"id":"Q1586479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$61425332-38F4-4A4B-B33D-67B685D3A5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3853e5379b61ded25a66e95e694eb878452bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1188968,"id":"Q1188968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$A14B7C3F-340D-45FD-AC44-AF02952E6936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155071f3f1f0be5361e6995e1226101037c6c89e","datavalue":{"value":{"entity-type":"item","numeric-id":5643955,"id":"Q5643955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$A711A407-86E4-49BE-A51B-2636C3585A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171e7f82f772e857f8c63b63b8316c6f46044be0","datavalue":{"value":{"entity-type":"item","numeric-id":4852812,"id":"Q4852812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$002BBD11-F737-41DA-A208-00294A8E07F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7721b80a2e61dde04ea601c27f391f1d4188024b","datavalue":{"value":{"entity-type":"item","numeric-id":4224183,"id":"Q4224183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920652$660FCDDD-39D7-49E9-AFA4-B84D363BD9A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19cd5b39bfda34e2b42497c148575305e29907db","datavalue":{"value":"10.1007/S10773-005-7083-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920652$FE360410-00E2-4335-B163-F6BB331B29E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad83fca422a8c27e75d11597e07738d99452f7c","datavalue":{"value":{"entity-type":"item","numeric-id":5920380,"id":"Q5920380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae652c15a06d3e9b32696ab10f07ac0ca75d03e","datavalue":{"value":{"amount":"+0.9991055727005004","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":"Q5920652$A6FE18A6-B66C-474F-9F14-9726FF18407B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0be060da74568ab606ab01716975b1566a9d3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2822855,"id":"Q2822855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc2a7f2eb9b80cd6f469218c90bee747c5358dd","datavalue":{"value":{"amount":"+0.8373646140098572","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":"Q5920652$4F42A553-6604-4FD9-86A0-F75A70359125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90f57285c665c2c8674c49927dfaa52a0631675","datavalue":{"value":{"entity-type":"item","numeric-id":3717047,"id":"Q3717047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc486d8e0d54ef7472891b56a02c0c19a86bed41","datavalue":{"value":{"amount":"+0.8157795667648315","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":"Q5920652$8A8A7BAB-2D0B-400E-9543-D2FFF8958530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88f2fabe29e4a024982e95a066338316805f42d","datavalue":{"value":{"entity-type":"item","numeric-id":682638,"id":"Q682638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ee58665d2070cc236718bc6aab34de53ce38c9","datavalue":{"value":{"amount":"+0.8106381297111511","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":"Q5920652$015E7083-0D6E-4269-A2C8-91D59A26160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8cf9a944eaed3dca2efe2e34fa9cac256511b5","datavalue":{"value":{"entity-type":"item","numeric-id":3463410,"id":"Q3463410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4455b3e721242d2a9e0d7ef1f50c9a4ed7ba23","datavalue":{"value":{"amount":"+0.7996448278427124","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":"Q5920652$A1F33584-0E94-4FD0-A7BE-1A8656172A30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5920652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5920652"}}}}}