{"entities":{"Q558435":{"pageid":560202,"ns":120,"title":"Item:Q558435","lastrevid":62791512,"modified":"2026-04-11T08:28:32Z","type":"item","id":"Q558435","labels":{"en":{"language":"en","value":"Ultrasheaves and double negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186747"}},"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":"Q558435$B6E8EFF5-095E-4B52-8E5A-8ED2608404E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dab8077b8760be6002812c51d2f78d09f24a9fbe","datavalue":{"value":{"text":"Ultrasheaves and double negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558435$1DCDCC27-1722-4D4E-B07A-F48038CC9695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bbf2a8e52358e4f889d7e89b806af56ee413cc5","datavalue":{"value":"1093.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558435$D2038458-91EE-497E-81A5-A342F9C02AB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ddfa0619593f09f425022437aafd89b13984788","datavalue":{"value":{"entity-type":"item","numeric-id":558434,"id":"Q558434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$BC15229A-9A53-46E9-B5A2-B4ECC7919BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$24350973-8ACA-4875-BE85-0EDE6B5B7CF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$08CE584E-2418-43C8-9C61-4A4D53086670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d534db28ae973e6f24a412d6a3412c3450938e4e","datavalue":{"value":{"time":"+2005-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q558435$2E5EA4BE-497D-4C00-9D30-5170DCEC0701","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e71d02e2aae6d124b8081427233d67caa01989ae","datavalue":{"value":"Starting with the topos of sheaves Sh(F) on a category of filters introduced by Moerdijk, the authors show that its double negation subtopos is the topos Sh(U) of sheaves on the category of ultrafilters. The result is used to transfer the truth of formulas via the double negation translation from Sh(U) to Sh(F).","type":"string"},"datatype":"string"},"type":"statement","id":"Q558435$398961FD-E2D4-43D0-90D7-7BFA0A2D8075","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558435$94F25FB8-42DC-40D7-A2E2-291D11BBA866","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5c39831235e3b1a28aef9c9adbdc58ef1242f1d","datavalue":{"value":"2186747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558435$AC29171E-FB03-4EB0-B029-694C8373EB9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ccbcc8b9303147cca122cf94f1800c070f1799","datavalue":{"value":"ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q558435$94B167D9-7161-4F19-91CB-AEBDFE546CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8644bd21e0531822b8dd6c0ded542d96f37e6a21","datavalue":{"value":"sheaf theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q558435$0EFCD355-7DC1-42A0-84C6-2C785D0E4AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134cca8bcd82437823be1763faceff78c7daba50","datavalue":{"value":"double negation subtopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q558435$F2FC1E57-2174-475B-ADAC-847354A59FE2","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":"Q558435$006B40A9-16A4-49FF-9203-3C5B9A61129F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df2aba7a9d41560ffb5cd0ae78977bbef5597e41","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1099238447","type":"string"},"datatype":"url"},"type":"statement","id":"Q558435$C01D8D74-FB06-4313-A5FF-C19346A751F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9d8d03a44ceff72486270599d447cdbe6fc88a6","datavalue":{"value":"W2150369467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558435$89E16130-E660-4C6A-AB2A-E4DE55FEA2B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7e6dc0eb6e914e43c4b8d75a8fe1fbc659c249","datavalue":{"value":{"entity-type":"item","numeric-id":4129618,"id":"Q4129618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$03B8FE38-2189-47B9-AC63-D8CD16BEB05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a44e4617d5748c1a56fd09c2e2df5421a560e25","datavalue":{"value":{"entity-type":"item","numeric-id":1887664,"id":"Q1887664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$D2C07034-9767-4AE3-9727-E865522BA401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$E4477A8D-7A8F-406A-8607-997C0550DD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcd6a400857ef1f992bc6bb803a4613b7d3d2d0","datavalue":{"value":{"entity-type":"item","numeric-id":1762726,"id":"Q1762726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$F007BD61-62B7-4293-9D05-A7ED745AEB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a91faad94d4fcf16f7e5d814dd41f3aff14433","datavalue":{"value":{"entity-type":"item","numeric-id":558435,"id":"Q558435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$821EFC4A-AD43-4152-B852-FF6CC138D503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639fefd2a61da7bae9add8b420a666b5e94a2773","datavalue":{"value":{"entity-type":"item","numeric-id":4047545,"id":"Q4047545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$8B45765C-B34A-4644-AACD-C47957447856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22ce0d00904c592b2c342fd4ac2e1568a2dad2a","datavalue":{"value":{"entity-type":"item","numeric-id":5597563,"id":"Q5597563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$62083427-EDC4-42C0-A10B-EFD1196B1A8D","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":"Q558435$C0A3C013-5EF9-4F4F-A7F3-397596C16BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd713a8fde0fe2e38a69f74ac8b77cc8e11d042","datavalue":{"value":{"entity-type":"item","numeric-id":3043147,"id":"Q3043147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$1D655DB5-1490-44A1-81FC-E40E9C67FB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b13c272f7e0efff584d99603822371efbd61ab","datavalue":{"value":{"entity-type":"item","numeric-id":1891250,"id":"Q1891250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$DA068AC2-9D4F-41DF-9C26-D715267A0667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc579453f457e41131451ea61628bb8dc4bfb61","datavalue":{"value":{"entity-type":"item","numeric-id":4382484,"id":"Q4382484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$0784D644-9C91-47BB-938E-0E78E3008A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2770e1b1bced5acaf1a085e30e72a51ee32bf","datavalue":{"value":{"entity-type":"item","numeric-id":4149449,"id":"Q4149449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$9063B907-F691-42BE-8B2E-D9628185B9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813430739d0db440fa5da7e7c549b1b6977cf52d","datavalue":{"value":{"entity-type":"item","numeric-id":1356978,"id":"Q1356978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$44ADF1C0-825B-4A45-BA0A-5433DB0070D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bf8ae60623eb3188c620c073497d7469f01d79","datavalue":{"value":{"entity-type":"item","numeric-id":4227854,"id":"Q4227854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$0C4E1265-7908-4B6F-BFAA-D34AE6436A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fcf7a1642495de53249f2bb13aa7536f30dd11","datavalue":{"value":{"entity-type":"item","numeric-id":5939909,"id":"Q5939909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$D756605C-2823-488E-9A2D-2C6D75A4EEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0747df96757821f5d2626be851b0bee242c14cef","datavalue":{"value":{"entity-type":"item","numeric-id":4552745,"id":"Q4552745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$1E1BF4C3-37EE-4F83-9F78-9F7A56582B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322c4c11391c1c0aa5fd668b6cf5c7f82ad0a3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1053098,"id":"Q1053098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$5BE43A93-F473-4649-9E2D-80101C6511F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acea76b85bc7bf26ae9cf4f5e9a5a8039faf820c","datavalue":{"value":{"entity-type":"item","numeric-id":1055409,"id":"Q1055409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$5592662E-D39F-4DDA-A2B6-4A1B09A196E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db426aecf011f6a4f9247eb5c7f5150dabacc1e","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$50E6B6FC-8F60-49A7-BF6A-023BD279C988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$54043131-D9FD-4DC0-A71D-1BF7915AB00E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb13ee147cdef34e1532f5d56f9272a630d2f305","datavalue":{"value":"10.1305/NDJFL/1099238447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558435$2BCD0AFF-D9EC-44F5-9C9D-5F9CDFE6E8B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c050c1ef7acf777146fd862e268415cfc0c98950","datavalue":{"value":{"entity-type":"item","numeric-id":6481058,"id":"Q6481058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558435$AA3D8734-204B-4DA3-9292-6BD1AAA0B115","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82b50f507086c902ede858cbf0613425a6d38404","datavalue":{"value":{"entity-type":"item","numeric-id":1762726,"id":"Q1762726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d9247273a8844099cf696ef4834290d3ea925a","datavalue":{"value":{"amount":"+0.8057616949081421","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":"Q558435$8306BF12-457B-4466-9F84-AC75F91269DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2c621804a7eed0f481708b9d6741a6c71abd3","datavalue":{"value":{"entity-type":"item","numeric-id":2004956,"id":"Q2004956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a3f16de8253f92d08f5ab7e325e9a3e84a4628","datavalue":{"value":{"amount":"+0.7256408929824829","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":"Q558435$DD56C355-F4A6-4BDF-AC9A-ACFFFF39023B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab78742e4bc6a4a1a32b3fe81918d5b17086d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3677918,"id":"Q3677918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4b665a61b3219fae61c9057d67c9032bb12444","datavalue":{"value":{"amount":"+0.7083669900894165","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":"Q558435$B7F19CEB-9E2C-49BB-855C-AC7B361CFF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28144d1a91ae77608ebc71d5e145d80ad65e86a9","datavalue":{"value":{"entity-type":"item","numeric-id":1121977,"id":"Q1121977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cef6eef1eaedea003e9b54c3fa8b79e4d016640","datavalue":{"value":{"amount":"+0.70781010389328","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":"Q558435$C83AE3A2-DFE1-413D-97ED-9A6FBD22E67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad31248de36f2738afa955acf842348420597a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5882585,"id":"Q5882585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9c24d0616a984adcf82e20c804ea635e832853","datavalue":{"value":{"amount":"+0.7048067450523376","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":"Q558435$4681DEAD-0137-4B7C-8265-CE4EB168470E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ultrasheaves and double negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ultrasheaves_and_double_negation"}}}}}