{"entities":{"Q1325675":{"pageid":1336425,"ns":120,"title":"Item:Q1325675","lastrevid":70145136,"modified":"2026-04-13T12:44:32Z","type":"item","id":"Q1325675","labels":{"en":{"language":"en","value":"A Galois connection approach to superposition and inaccessibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 575501"}},"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":"Q1325675$0DB2CDA9-5FFD-4584-A811-CBD8829443F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b724e6fa50b497d1f9b738e9fad7589af3533d2e","datavalue":{"value":{"text":"A Galois connection approach to superposition and inaccessibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1325675$87BCCE3F-AAF7-45E5-BF5F-6144A25D6CC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f2c87ca6a1585f975a9803324da7037488bdf2f","datavalue":{"value":"0810.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325675$AE9E0442-C25E-4EF5-85F7-1192F722CECB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0048e8caffacdcb95228e85462870e600292d49a","datavalue":{"value":"10.1007/BF00673001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325675$30C9AD56-056D-4A37-AD2A-F57CEC157401","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7bb647c712c1f2283634c9d3db6cd29317a5c61","datavalue":{"value":{"entity-type":"item","numeric-id":905644,"id":"Q905644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$0F0284B9-515E-4B46-9CC1-622EF6117445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aed25de64f8bc0dbbb12fa2d393626d86640aba0","datavalue":{"value":{"entity-type":"item","numeric-id":1325674,"id":"Q1325674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$1FE66254-7A03-40C1-99EE-11620733325A","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":"Q1325675$DCC21FF5-EE4A-45E9-AB7F-C1067B6CE82D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1325675$3D4F9609-6E5F-4984-9C99-A3D82F87DCCB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"05d6ccbc89d2d06f0470963a2b8bdbecf558f19d","datavalue":{"value":"The authors consider ``superposition'' and ``accessibility'' in terms of the lattices generated by these relations over the power set of states.   Thus superposition is the relation between states of finding wffs certain in that state, and this relation induces a Galois connection which in turn induces a closure map on the power set of states. Similarly inaccessibility is understood as the relation between states of making opposite predictions about a wff, and this too induces a Galois connection and hence induces a closure map on the power set of states. The purpose of this paper is to use the theory of Galois connections to provide a sufficient condition for the complete lattices induced by these two closure maps to coincide.   A short introduction to Galois connections is included in the paper, proofs are indicated, though not detailed, and there is a useful section relating this work to that of others. According to the authors, this paper is in the tradition of Varadarajan, among others, but is novel in that it uses Galois connections to establish this result. Perhaps more importantly, the authors do not assume that the lattice \\(L\\) of ``events'' (the ``yes-no'' propositions) is orthomodular, nor that states are probability-measures on \\(L\\), or that the set of states be \\(\\sigma\\)- convex.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325675$790E4B5C-4035-4306-A685-B32F0BC4C1CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325675$F3520DA0-591E-49BC-BEDB-7D8EFD1ADB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325675$475B599B-18FD-4F54-A2B8-DC9BEB25438B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f75aebe6945c5f5bd62c6b4b2edbb5a0c9ac8e2b","datavalue":{"value":"575501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325675$3B418705-56D9-48AC-AFC6-EA175B606C8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e475e39ca2f67e91824f8af5f1efdd80a7cac2","datavalue":{"value":"accessibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325675$C1F4D70A-8C3F-4630-8B88-A4530B3E9920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e69e65bba4af1588132235ba278e95f2dd6b6bd0","datavalue":{"value":"power set of states","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325675$A827E53B-3653-4788-8E8D-58340B6F9F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325675$CA7D7A7B-6763-459C-835C-7B4F64ED4757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325675$2188007F-1445-404A-9516-16EA42900F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52bc4b9f05dc81cb31b35c8cbfcf01531cc759ee","datavalue":{"value":"closure map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325675$2E114A0A-69A8-4989-ABBF-805B4ED199A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0675d583d6a74b9a36bca4130c045d9a9658235","datavalue":{"value":"inaccessibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325675$D6390443-9738-42AE-B56B-ABA98A4F4682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8d63bd162dbdb7e6310553fa4e73e95ac8f4ba9","datavalue":{"value":"complete lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325675$F855C8C5-33CB-4DE9-BEF4-9DA2A1004E8A","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":"Q1325675$4A7E54A0-C4A6-45B7-8730-986E4531591B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5548cdd0104d406cff7332bdeb9d894e328262c0","datavalue":{"value":{"entity-type":"item","numeric-id":5626712,"id":"Q5626712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$73D26E6F-FB17-4D65-8D4C-607F779CAAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ed72f861ab6c44e19859fd2e76bfd13f9ad233","datavalue":{"value":{"entity-type":"item","numeric-id":5531708,"id":"Q5531708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$FD20CBF0-5A27-4179-AD5A-BE9D2F8C24AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e86ff3091af9367b6dafa707d01b1b9ae7924e5","datavalue":{"value":{"entity-type":"item","numeric-id":5531709,"id":"Q5531709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$0CA77DCB-6C96-4F44-818D-F20E1AE75D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1ad434931aaad3fb1afed770322d72715e456a","datavalue":{"value":{"entity-type":"item","numeric-id":4141281,"id":"Q4141281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$56E178F8-BE4F-41A6-B8AE-578A46BB14AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5c35af3571a0a6faec888d2d7d623240f513aa","datavalue":{"value":{"entity-type":"item","numeric-id":3952094,"id":"Q3952094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$6A9FB251-A609-43F4-BA46-EBCB5D28843C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$8D4509B3-0B00-4F38-83B4-0638D3E82845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d495beab96512e59be730abcefdf9ab9b58ee0de","datavalue":{"value":{"entity-type":"item","numeric-id":5650893,"id":"Q5650893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$D4073D27-D272-4782-8057-ABE1A4AFDB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371109c8288258b4c309372f3dfe08815ab58a47","datavalue":{"value":{"entity-type":"item","numeric-id":5585326,"id":"Q5585326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$5C3AF1BE-C31F-4FB3-BACB-7C8D21932A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743493fe2dfd1232db9c7ca86afa621ba19eba78","datavalue":{"value":{"entity-type":"item","numeric-id":3866110,"id":"Q3866110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$7FAFE624-0715-4774-970F-510782A474E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e58509c58589e7e9ff957b836ae2fde24359d4","datavalue":{"value":{"entity-type":"item","numeric-id":5834612,"id":"Q5834612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$BF041F47-CBE4-4027-9805-B521B432720F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ea1fc47ac86f4fe68a54c8365f0799de3ded9e","datavalue":{"value":{"entity-type":"item","numeric-id":2528652,"id":"Q2528652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$3ED8F98C-2339-487C-97D2-2B3C110A270B","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":"Q1325675$9B957C11-3B83-4B6F-820B-BB71370417C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8554f232d61ece84db56713e99dd553afe78cae4","datavalue":{"value":{"entity-type":"item","numeric-id":2522085,"id":"Q2522085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325675$A03FA48E-7680-44D5-B1C4-B99AA057F9F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67ebc8cb3bcbc92f91c0c842badc02c938deb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2104507,"id":"Q2104507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf3afed2f5098cd0893f490f911e2519b88bec9","datavalue":{"value":{"amount":"+0.869437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1325675$E04BE244-EBF2-4AB2-8F6C-C9CA945DC978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b523cf64e68cbaf0b369a5f581747cdb409f7d","datavalue":{"value":{"entity-type":"item","numeric-id":4508468,"id":"Q4508468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ef72b8a029c46a2e15e35949038ec30fdf119a","datavalue":{"value":{"amount":"+0.86298674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1325675$0DE3E23A-590C-4CCA-9B31-E7D58E41EB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4185f89745ee84130cebe9b77e65e11970bcf32d","datavalue":{"value":{"entity-type":"item","numeric-id":2577709,"id":"Q2577709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e11c8810c55128540f1f9ae5cadd95593c4c40","datavalue":{"value":{"amount":"+0.8536198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1325675$5E859C8D-775D-41E2-954B-584C58C95B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083cd4d6e05dad5785afc5bb7d50017c4aec9695","datavalue":{"value":{"entity-type":"item","numeric-id":3417814,"id":"Q3417814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c77c9d6498f11cc7ab325bbb239e1bb48e214f","datavalue":{"value":{"amount":"+0.85238624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1325675$9CBC6F67-1538-425B-BDF4-C2CCFACC8296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c6e556c42e7b61e66dc01d4ef333165cfe3e7c","datavalue":{"value":{"entity-type":"item","numeric-id":2294566,"id":"Q2294566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720f174bffc80226495cddff38bb4bc627f0392f","datavalue":{"value":{"amount":"+0.8455316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1325675$1D9ACB79-370A-4227-A86C-AFA985C9B5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366986fbe76fa02b567cc351315a42cd9ca2864c","datavalue":{"value":{"entity-type":"item","numeric-id":874756,"id":"Q874756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76db54ead15e0c1b500b55db76f89e4cedb5e59","datavalue":{"value":{"amount":"+0.8417653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1325675$77AECF5C-F937-4CB9-B262-02EE84A3EDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183d6ea76e5de27bb97849a8f9f6b9f8b014d4e6","datavalue":{"value":{"entity-type":"item","numeric-id":3296346,"id":"Q3296346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce932a58b252a588e0100813e665266d495c91d","datavalue":{"value":{"amount":"+0.839662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1325675$F2D54A73-FB4A-4EBB-85E0-85FF0F8E9E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6050825a02abd8e0f81433bf2c21c3c110acce34","datavalue":{"value":{"entity-type":"item","numeric-id":4662458,"id":"Q4662458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0c20a30fde19f52adbe6400d6dfeb2a4205a71","datavalue":{"value":{"amount":"+0.83731204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1325675$21DCBBE7-BDF0-4F97-B651-68AF57F96A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bed19fa589823cb07d94fedd212c0d73fa10393","datavalue":{"value":{"entity-type":"item","numeric-id":4382468,"id":"Q4382468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3f6e178555c8f5c446ddd5c35fd49c044c1857","datavalue":{"value":{"amount":"+0.83235836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1325675$2621C56C-A302-4E23-9752-7974E0A0F820","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Galois connection approach to superposition and inaccessibility","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Galois_connection_approach_to_superposition_and_inaccessibility"}}}}}