{"entities":{"Q1970592":{"pageid":1981334,"ns":120,"title":"Item:Q1970592","lastrevid":82264346,"modified":"2026-05-06T20:29:26Z","type":"item","id":"Q1970592","labels":{"en":{"language":"en","value":"Completeness theorems via the double dual functor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420236"}},"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":"Q1970592$3D6CDA57-55EA-4061-BCEE-36C5B1589927","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b635ba727899b54c3c2f6fedafa1b2539516c5e0","datavalue":{"value":{"text":"Completeness theorems via the double dual functor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970592$BEB3E633-33BC-4B1E-99F4-D71B2D989296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccb70527edeffbb55714363410593a9f15550eee","datavalue":{"value":"0948.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970592$5BD44DDB-C6AD-4D85-A871-285FB382D35F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42be85fae52f398c9062d3617609b682ffac733d","datavalue":{"value":"10.1023/A:1005238330484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970592$5EB84E01-AA8D-4A46-A52B-DDC71AA4F988","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"450e6d2913f94ef02c91eea7d82548c9bb2de66b","datavalue":{"value":{"entity-type":"item","numeric-id":1406851,"id":"Q1406851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970592$798B459C-B37B-43D4-A70E-A8C40AF35EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b75c548f9342a1b5ea4c2668cdcb0a3c80c81df","datavalue":{"value":{"entity-type":"item","numeric-id":790923,"id":"Q790923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970592$A3EDCE7C-D290-4253-9E63-4718DA35F084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e08ef39f1a6658fd08b441fdfb39644b5b09e015","datavalue":{"value":{"entity-type":"item","numeric-id":284214,"id":"Q284214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970592$40E3DEC8-E5AC-49D3-8A9F-982E708028BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970592$83F0A6D7-0A76-49D4-9B73-BDE842C3777D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45c6b522baf77e7131b262008cde5ff0fa2a03f4","datavalue":{"value":{"time":"+2000-11-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":"Q1970592$EDECECFD-61B1-4B34-8921-90C99BF7FAD0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e7c1cae1642a551df961f390630263442b72eeb","datavalue":{"value":"The `duality' implicitly referred to in the title is the dual adjunction between bounded distributive lattices and partially ordered sets, induced by the schizophrenic object \\(2\\); that is, the double dual of a distributive lattice \\(L\\) is the lattice of upper sets in its poset of prime filters. The latter is always a complete bi-Heyting algebra (indeed, it is completely distributive, though the authors do not mention this), and the authors regard it as a kind of completion of \\(L\\), even though the construction is not idempotent. Their key observation is that the canonical embedding of \\(L\\) in its double dual is conditionally bi-Heyting (that is, it preserves any implications and differences which exist); by exploiting this fact, and by specializing to particular classes of lattices, they obtain a number of completeness and conservativity results for various nonclassical and modal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$B58A0EAC-5044-4506-95F7-23D77D15E880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970592$F27DCB14-83D0-42CB-965C-A3EE10FDF74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970592$C70412AE-3F98-4483-AE43-FA36C315FC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970592$FC84557B-2F7F-4E2E-8352-8EE46AA559B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970592$B70A0D4D-3DF8-4476-8F6D-3E108E382CB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9807eac86ffe09e192a2f3b5e2664f3b8a965f02","datavalue":{"value":"1420236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970592$B157E31A-2105-4FEB-AABC-0D1B4973A6A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$854A4B64-E34E-4CE6-A679-93EBC956A6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b695ccd87e8b52a27d731f697d29b19bce46e691","datavalue":{"value":"dual adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$DFBC04BA-FE3C-424C-859D-D95D599988A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5374d6381d8d140e3843583e0e15bce148c51efb","datavalue":{"value":"bounded distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$6F1371F5-23EE-4D0C-903C-F63D6938652F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$ADB23553-B171-47BF-9E4C-795CEEDD8679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811032262584aa736003b7155446827956ac0526","datavalue":{"value":"bi-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$F237BBB2-21D0-44FC-9911-7C054A64F728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7c945a6d52000f90a1b8322361a0fb7b7fcd98","datavalue":{"value":"canonical embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$DA3F4CFB-4077-4FD5-8246-0455D73273D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$6430344D-7256-4E13-A71B-AFBC7C391003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$FC576B64-64D7-4B5E-963E-3311B6241111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970592$D3E8C44F-9EF4-4BC0-BA0D-F035A0E1F116","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970592$29C5291E-FE74-45DC-BAEE-E8FC9536D542","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":"Q1970592$E59D5906-D9F5-4B5A-8854-A6B2B44382A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b29eca245dc7e45b74cb75ec641a05fc47337e9","datavalue":{"value":"https://doi.org/10.1023/a:1005238330484","type":"string"},"datatype":"url"},"type":"statement","id":"Q1970592$CB148B15-3FE7-43A6-9935-2BC6F48A3F54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bb06baf10c9348fe7959d0b3e385f54b5d97afd","datavalue":{"value":"W1607885199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970592$EBEFAB2E-CEC2-4C87-8916-3EE264421F76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed07c64d2e4f056762c064c3cc07c962456940ec","datavalue":{"value":{"entity-type":"item","numeric-id":1970594,"id":"Q1970594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45709471af038ac190ec8d0bb1de6d2fe58d9a1","datavalue":{"value":{"amount":"+0.7652556300163269","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":"Q1970592$7F449B72-17B6-42F6-A1FE-5B17D753054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae5ae72f6cac7839ab5a96e3dcf866f0b69e76f","datavalue":{"value":{"entity-type":"item","numeric-id":3614502,"id":"Q3614502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b3115e5366688ca38862839ad5584001602512","datavalue":{"value":{"amount":"+0.755139172077179","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":"Q1970592$F979D892-B896-4EED-8612-823D29C64157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6aee020929d6d7f07a1a5fa907731f1093d6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3638290,"id":"Q3638290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc565ca1f3a026538b56cc51934b17ff77531d0","datavalue":{"value":{"amount":"+0.7482876181602478","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":"Q1970592$09C86ECC-8B9F-44F4-A3DF-D9E7717F54D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77d7089d1269bacf65ffbe17b2a8aa812f462f4","datavalue":{"value":{"entity-type":"item","numeric-id":2476160,"id":"Q2476160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea734e86768b71ddb43af7a2bd333d4f3d03e05b","datavalue":{"value":{"amount":"+0.7480939030647278","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":"Q1970592$0EF2A283-5CD6-42A4-97E8-E9EDB29B5389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc166c5d57e4647ac36b2df8412e12720e6d54dd","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e2155e1afe676b33e63fc8dca50df5ecc85625","datavalue":{"value":{"amount":"+0.7433563470840454","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":"Q1970592$3EFF58BA-EDA6-41ED-825B-EDEFE74E519A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness theorems via the double dual functor","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_theorems_via_the_double_dual_functor"}}}}}