{"entities":{"Q1034091":{"pageid":1035939,"ns":120,"title":"Item:Q1034091","lastrevid":57326454,"modified":"2026-03-30T12:33:54Z","type":"item","id":"Q1034091","labels":{"en":{"language":"en","value":"De Morgan classifying toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629230"}},"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":"Q1034091$3493CD90-7B73-4897-B681-88DC0C862848","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c1d4b2aab4ca02d60b8075cf85253c817d0b8f2","datavalue":{"value":{"text":"De Morgan classifying toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1034091$B88B5BF0-54D6-4CCB-BC59-3AB6DC007938","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"712c38eec029165b54647a1d847ff7c510ec53a6","datavalue":{"value":"1183.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1034091$06479A42-56F7-466B-BB55-D01686C3B252","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54abcbb815d1a58f46a444816126c0eaeeab96da","datavalue":{"value":{"entity-type":"item","numeric-id":290643,"id":"Q290643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1034091$293CF850-47E3-4E36-B1E2-88CB9F8EE21E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1034091$EEA7EE19-C743-4723-B04B-A91E4EBDAD06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"768f67aa8c56a592207b631de1166ee159c71adc","datavalue":{"value":{"time":"+2009-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1034091$EC9E3BC1-39B7-4DBE-A6BA-28582C9F0B22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"429f7d1b2bfd3fe56971f9956e951bb3273449ea","datavalue":{"value":"https://arxiv.org/abs/0808.1519","type":"string"},"datatype":"url"},"type":"statement","id":"Q1034091$249D2FB2-3CC6-4D03-AEF9-D5FB9EFE994A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"edb340bfa2d3c285b25cdf81da444465b7b00cbc","datavalue":{"value":"This paper solves the long-standing question of characterizing the class of geometric theories classified by De Morgan or Boolean topoi, by providing complete syntactic characterizations for both these classes of theories. The paper consists of six sections, the third of which gives a simplified method for a Grothendieck topos to be De Morgan or Boolean, constituting the highlight of the paper. The paper also gives model-theoretic criteria for theories whose topoi arise as localizations of a given presheaf topos. The paper concludes with a detailed analysis of some examples, and an analysis of the theory of fields in relation to De Morgan's law is carried out in the joint paper [Adv. Math. 222, No.~6, 2145--2152 (2009; Zbl 1181.18003)] with \\textit{P. Johnstone}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1034091$8A1C6BEB-00B4-4C91-BB59-CC357B9DA765","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1034091$7D7F1045-973E-4C6B-B033-97DC6DB8E308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1034091$DFAE1E84-BC62-4DB0-B387-AB2E1C864060","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c71169b4699325cf95285376bc1db5853ddc44f","datavalue":{"value":"5629230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1034091$6B0C9FCB-5CD3-4B63-BDC6-6D79CB939F1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72aa2ada172e0bed475211a581a35a6737730a22","datavalue":{"value":"De Morgan topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1034091$20C83FAF-978B-452D-95C2-0C0E562D2F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665fa3087df0a7ff35546788c5ec67f3dac615fe","datavalue":{"value":"classifying topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1034091$11F6DF93-D7F0-40A2-926E-6EAE1F57E69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1034091$44CBE278-EF16-4B90-A041-2F8496E7A3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89edfd146a03ea854dd03d95bdc4404c88778bc6","datavalue":{"value":"geometric theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1034091$A6234BE7-C850-41A2-8C7E-0A05BB34DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59006e803f905877df03bae3244f9aee3865c459","datavalue":{"value":"Boolean topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1034091$1EBB6364-4C91-4ED9-B7FE-245A406D5A37","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":"Q1034091$3010C89E-6738-46BC-9A43-7FD583D079FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc9a738ae75cf877b1a7d84bbd609960deda3990","datavalue":{"value":"W2963184861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1034091$4C12659A-2854-4F13-AB32-6A2A3B75F647","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7659d50b96557c8abf012230fc56cf4665079e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1052317,"id":"Q1052317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1034091$99C7765D-ED45-4290-85E1-DD18F066F3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa96be660e4e2713ad5861437ef921c9328d53","datavalue":{"value":{"entity-type":"item","numeric-id":2919776,"id":"Q2919776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1034091$E2DA7CE8-D262-47A8-8D82-0DD3AFA3D4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1034091$290B7CBB-B730-4847-A6B5-A966878C847A","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":"Q1034091$B0CCEE53-4E1E-445E-A042-D18303F8CBEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b551f51da4abf258236578afbd2ace31ebef973a","datavalue":{"value":"10.1016/J.AIM.2009.07.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1034091$240D2660-E507-45B4-8948-452DCFB4B42A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e660d4c7e5438ae7007dfe6b706f1fb361ba5d9","datavalue":{"value":{"entity-type":"item","numeric-id":3137139,"id":"Q3137139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aeba3bc7a90617e21407ffd9126688232790eca","datavalue":{"value":{"amount":"+0.8747305274009705","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":"Q1034091$ECF721CD-E187-417C-AF45-6C70F48BAACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824a4522793988a7530c95303523ffb2d76d75da","datavalue":{"value":{"entity-type":"item","numeric-id":3786613,"id":"Q3786613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aeba3bc7a90617e21407ffd9126688232790eca","datavalue":{"value":{"amount":"+0.8747305274009705","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":"Q1034091$2BA900C8-82B0-4317-AC34-0EE588BD0FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8893313c4720328818da062e04a090dd23f12583","datavalue":{"value":{"entity-type":"item","numeric-id":1034092,"id":"Q1034092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ca0869bbadb3f13a37cc5b7748ccb6f0fced59","datavalue":{"value":{"amount":"+0.8708059787750244","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":"Q1034091$FAC6C51C-2135-46BE-BB0F-E7FDAC450ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2615d28fe6ac414a94711fcffe21ac421e92c16","datavalue":{"value":{"entity-type":"item","numeric-id":638496,"id":"Q638496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80d72e7269c4f238e11998ed02e928e2f4c9382","datavalue":{"value":{"amount":"+0.8609775900840759","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":"Q1034091$52DA19D4-CB13-42C3-9DF0-4A47845317CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ed9db92ec3c0dcbd7c9c0c274111850d54769d","datavalue":{"value":{"entity-type":"item","numeric-id":1382183,"id":"Q1382183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19df2fca7310788bf2ba346b101ef3bdd0f66efe","datavalue":{"value":{"amount":"+0.7763398885726929","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":"Q1034091$B575A2E9-7BC7-4A0C-947D-7C7E6D07738E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1034091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1034091"}}}}}