{"entities":{"Q1008115":{"pageid":1009963,"ns":120,"title":"Item:Q1008115","lastrevid":65992941,"modified":"2026-04-12T06:48:31Z","type":"item","id":"Q1008115","labels":{"en":{"language":"en","value":"Topos-theoretic extension of a modal interpretation of quantum mechanics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5531574"}},"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":"Q1008115$EA43E74A-0A9B-481A-852F-191CF25A114F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b21aa791fb0b28bdcc54ee07adbb6270a7f9a4df","datavalue":{"value":{"text":"Topos-theoretic extension of a modal interpretation of quantum mechanics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1008115$8452F491-2BA0-4097-8CD2-7983E7DAFC00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01d9bc63050a9ae19c6780f0adb4b11b651e38b7","datavalue":{"value":"1176.81008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$1E6F9F72-D14F-4611-A580-84E40404A681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f570df3de6ef55a7a8c065741cc3d985292e21e","datavalue":{"value":{"entity-type":"item","numeric-id":1008114,"id":"Q1008114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$92B25AEA-51AC-4AEF-875A-C25BD31FADAD","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":"Q1008115$67095BD0-4DF5-407E-810E-BCCF51EFA63B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1008115$4DE5AB96-241F-4D8E-84FA-420E118A9DF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd48c368106b91c5fb5639051efb597190badb5d","datavalue":{"value":"https://arxiv.org/abs/0711.2200","type":"string"},"datatype":"url"},"type":"statement","id":"Q1008115$859CFE96-C64A-4E29-840F-AC4C45345D23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"810e7eda388293c2bf98081165fe1eaa1a944c43","datavalue":{"value":"The celebrated Kochen-Specker theorem [cf. \\textit{S. Kochen}, and \\textit{E. P. Specker}, J. Math. Mech. 17, 59--87 (1967; Zbl 0156.23302)] prohibits that all possible quantum propositions have definite truth values. Hence so-called modal interpretations must work with a reduced set of true quantum propositions. The author refers to the results of J. Bub, who defined a maximal sublattice of quantum propositions, which is compatible with the Kochen-Specker theorem [cf. \\textit{J. Bub}, Interpreting the quantum world. Cambridge: Cambridge University Press (1991; Zbl 0993.81002), Foundations of Physics 22, 737--754 (1992)]. His construction is carried out in the lattice of all subspaces of a finite-dimensional Hilbert space \\(\\mathcal H\\). It depends on the choice of a ray (=quantum state) \\(e\\) in \\(\\mathcal H\\), and some observable \\(R\\), and it is denoted by \\({\\mathcal D}(e,R)\\). In particular, a lattice homomorphism into \\(\\{0,1\\}\\) is constructed. The author transfers the construction of \\({\\mathcal D}(e,R)\\) and of valuation functions on it to the functor category \\({\\mathbf{Sets}}^{\\mathcal C}_R\\), where the objects of the base categoy \\({\\mathcal C}_R\\) is the set of rays. The use of topos theory is mainly inspired by work of \\textit{C. J. Isham} and \\textit{J. Butterfield}, cf. for instance [Int. J. Theor. Physics 37, 2669--2733 (1998; Zbl 0979.81018)], \\textit{C. J. Isham}, and \\textit{A. D\u00f6ring} [J. Math. Phys. 49, No.~5 (2008)], which seems to indicate that topos theory might be a convenient tool to get rid of the object-observer-dichotomy in classical quantum mechanics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1008115$F32966F4-9502-4FBE-AE92-E3CE122C30BB","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":"Q1008115$7E005279-95CA-4D57-9023-B178D421F05E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9881fa207d613a9d9fe78521aec471c3f3bb4f04","datavalue":{"value":"81P13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$076A714B-7A4A-4B1F-9A48-B21950FA3CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$70305147-5AED-46AD-A82D-30966C241401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$43E623F0-CC03-4C37-8FAD-DED89556D849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$3472823C-1680-451E-9561-1764FC3530AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$1E7A5A88-9262-4874-AD63-5DDAC082A433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$E165F0EE-B9F4-4588-A1AB-40AFB5C1E2F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fc119200111d92a50cf8fb42537478b9f271b62","datavalue":{"value":"5531574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$EEDF90DA-A3EE-4F41-8A51-B7B6E5DB0778","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1008115$12D809C4-02B0-4210-8AB7-C2A2BF0C3995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1008115$45FA3D38-0201-44F6-BF3C-5A9EE6440439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5faa6fe9b767edbcaaeeccf72e941b32142241e0","datavalue":{"value":"modal interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1008115$37AFC308-31DA-484E-B451-C2A67C541BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb1666c39f46b593da3eb126aed227564722a2e","datavalue":{"value":"presheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1008115$3DF6B41F-5B52-4867-9791-C8698C1CBC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4206566d0afa53bb7a16bd7889863239df871a1b","datavalue":{"value":"sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1008115$A04BE9E5-AF17-4315-8B3D-C2954A295241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1008115$21583F06-3C32-4901-A3DF-57AD53EDF673","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":"Q1008115$A78CD289-220B-4A06-82ED-B49DE78F292A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b353addf31b4861c4e3539f8f192b21c13b263c","datavalue":{"value":"W2077513173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$8C8DE5F3-7439-4370-BDF7-7C8574B2692F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3473edfe0e31b429c0405615afe024ba69140e33","datavalue":{"value":{"entity-type":"item","numeric-id":5536167,"id":"Q5536167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$85221A63-A70D-4A5D-8F09-D8820F610BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28febdb47bf3626bd4fcbd45946c5f0e414b6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4376955,"id":"Q4376955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$7210F7FE-6FA5-4175-94AD-D081261DCC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4f30a4c265ffc7058522539917c11d0435c460","datavalue":{"value":{"entity-type":"item","numeric-id":4953976,"id":"Q4953976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$BB2A6178-A1B7-4ED9-AF77-37A0A2B97922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340d816217fa62553a342489b496dcd8bd13964f","datavalue":{"value":{"entity-type":"item","numeric-id":1357832,"id":"Q1357832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$BB2DDFF2-D633-4D77-A5B5-1DAC19BBBC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a492e40896d9199eaa486567657e9f90df9bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1303448,"id":"Q1303448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$A12C9B1C-DD76-4E52-9CD3-6EB38708096E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a83c41103a69a39100f3224e16f6de231868fe","datavalue":{"value":{"entity-type":"item","numeric-id":1805641,"id":"Q1805641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$03A82435-09EA-4CDD-A033-70DB338BEE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78197e1268023863c7603e80f82135f1ff589b84","datavalue":{"value":{"entity-type":"item","numeric-id":1590884,"id":"Q1590884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$181A60C5-A9F7-4442-BC30-8E2F86477870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13320cdaef1376554a84d723a52e879f5920a39e","datavalue":{"value":{"entity-type":"item","numeric-id":1610694,"id":"Q1610694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$1D4E08B7-F4C5-4418-94AF-0F265C85B46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2db2b960dd71d7162cd244d60655da1ffdb59","datavalue":{"value":{"entity-type":"item","numeric-id":5898293,"id":"Q5898293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$EA6AFADF-2702-4D98-8453-2A8F62E444E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$8E3D9432-397E-45F1-B026-06E687104DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$48FD3168-38C2-42C7-820D-9669B050CD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$2286CAB8-D976-4C88-A22F-94EF2CEFF1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1008115$9CB30B8B-3F32-4E2D-AE32-3D4BF2220235","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aa4ff77d5779d7b3fa1b41acc54000968a081a7","datavalue":{"value":"10.1007/S10773-008-9649-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1008115$30CB95EB-06B6-4531-AC8F-B1194EB07C57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d6189a3c03035a49dfe0a8992f762f1b6c9e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4428710,"id":"Q4428710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac48e20058b2c367158b07f5e3e8b2f4e579a20","datavalue":{"value":{"amount":"+0.8378811478614807","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":"Q1008115$77A7CB80-2174-40AF-8984-F50188961394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e07a0bc1c25d9b13e416bdad71fada5899c1bf","datavalue":{"value":{"entity-type":"item","numeric-id":1701676,"id":"Q1701676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb062d12eed7cbd8f8ff54517d83b7ad1000915","datavalue":{"value":{"amount":"+0.7952854633331299","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":"Q1008115$B273B0FC-8B81-4E0E-9E68-795DC3DAD3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055eac5db27872fb0e38b0217903332ffdc3c4fa","datavalue":{"value":{"entity-type":"item","numeric-id":2861735,"id":"Q2861735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5f85858608209684f3cf49e3ad2286ff131d43","datavalue":{"value":{"amount":"+0.7903521656990051","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":"Q1008115$2CE4C06D-4B21-45CC-B2F2-74C6F0A0650B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd798427697c8e9caa7494bf805c4e396281b07a","datavalue":{"value":{"entity-type":"item","numeric-id":1303448,"id":"Q1303448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68fe4e50ab3452318b2d1a473a91fec1a6d78dde","datavalue":{"value":{"amount":"+0.7888086438179016","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":"Q1008115$A2DB8D6E-101F-4163-8D95-6EF5802A940F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227dbab7f221df6fd5fe745fef3ba8936f389e42","datavalue":{"value":{"entity-type":"item","numeric-id":1805641,"id":"Q1805641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68fe4e50ab3452318b2d1a473a91fec1a6d78dde","datavalue":{"value":{"amount":"+0.7888086438179016","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":"Q1008115$63F9DF0E-E77C-4741-800B-3E44BD363D52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topos-theoretic extension of a modal interpretation of quantum mechanics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topos-theoretic_extension_of_a_modal_interpretation_of_quantum_mechanics"}}}}}