{"entities":{"Q1976877":{"pageid":1987619,"ns":120,"title":"Item:Q1976877","lastrevid":72162564,"modified":"2026-04-14T03:02:49Z","type":"item","id":"Q1976877","labels":{"en":{"language":"en","value":"Intuitionistic choice and classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1443413"}},"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":"Q1976877$13DD01E1-B8FA-4E04-9AD0-1A0723384379","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8621aa05b005297e6ac773c423d98d1b974aae2e","datavalue":{"value":{"text":"Intuitionistic choice and classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1976877$7B8E28DA-B0C7-416E-A0A7-B7E16083ACA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e39eeba386a1be3ba4b16ab2b679246f9c4de8a","datavalue":{"value":"0947.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976877$CA272DF1-C7BD-4706-84BF-D3FBC8BD7BD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976877$2630E4F2-3AEF-41BF-82B9-48E3C573A352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976877$FE186B36-CB1E-4B27-9580-5825D311EAE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976877$7D777A37-A489-4C7D-B734-783361E15243","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e7d359903137bff7846e697aa48a1466e8359b7","datavalue":{"value":{"time":"+2000-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1976877$4FDE8CD1-C697-4EB7-8D3E-5FEDE1110F44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"868dfd27171155379d7e24daae594ce04b0d1d12","datavalue":{"value":"Many mathematical results are proven by using non-constructive methods. Sometimes, however, it is possible to re-prove the same result in a more constructive manner. This re-proof is often more complex than the original proof, but it has its advantages: first, if the result stated the existence of an object, the more constructive the proof, the closer we are to actually constructing this object; second, in general, the more constructive the proof, the more reliable the statement.    The authors show that a large part of analysis can be formulated and proven within a theory which combines the classical logic's law of excluded middle for ``arithmetic'' statements \\(\\forall n An\\) with decidable \\(A\\) (\\(\\forall n(An\\vee\\neg An)\\) implies \\(\\forall n An\\vee \\exists n \\neg An\\)) with an appropriate axiom of choice for sequences (e.g., \\(\\forall m\\exists n A(m,n)\\to \\exists f\\forall m A(m,f(m))\\)). The authors provide a constructive model for this theory -- sheaves over (appropriately constructive) Boolean algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976877$C5BADE75-6FE1-4D0C-91C2-0E5203A6A4E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976877$BED3C4B7-433C-4D55-B398-C328E8C42CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976877$271B1BF2-2D88-4065-B600-EF2757C4BC3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7dda4acc06faa54bcd0c0dd5983c505dff0b563","datavalue":{"value":"1443413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976877$35B2CFA5-B02C-472A-8E4C-8A9AE4F7EAAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134a0d1bcbb4cd4bd058153bd9d01d74e402d978","datavalue":{"value":"constructive meaning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976877$10EBFB70-78E2-420E-9FC6-EB395B96CB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e59954ed6dd724416bbe325a2b1cea42644fa31","datavalue":{"value":"intuitionistic choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976877$0F692D28-792C-4DB6-A9D0-0985A6A75146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d60eda1c05494154fe0d15d35930b7a53123deab","datavalue":{"value":"Boolean sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976877$6DF87F53-6CD6-4A11-B525-B23CC80F2282","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7a7a7a3dd3a08360856ececf3d8a629dcc430503","datavalue":{"value":{"entity-type":"item","numeric-id":592003,"id":"Q592003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976877$384EF2F7-7820-4D8C-9949-576670336FF9","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":"Q1976877$52FB6F4D-F303-4016-A9E2-B5AF0AF98BB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4fa3e5560da574cc12906413750d35f328016b0","datavalue":{"value":"https://doi.org/10.1007/s001530050003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1976877$A422B1A0-041D-4E59-AC8F-3E855707631D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5182290d121bb767eb03b30c13bf54ae345f483b","datavalue":{"value":"W2031330107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976877$2F3E46DA-035B-4058-A242-C4C7BDF20CC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dd1919ddd658bcadfdebbe5a9baaded5b352180","datavalue":{"value":"10.1007/S001530050003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976877$485896D2-F2A7-4A9B-9FED-E9FAB0F423A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f526c4c3639af4e16cc7ec28e3e1ac89ae959ca1","datavalue":{"value":{"entity-type":"item","numeric-id":1688964,"id":"Q1688964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7183e393a2c5a9cb4efe5eaaf1126e5d3acf1b2c","datavalue":{"value":{"amount":"+0.7625926733016968","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":"Q1976877$5D06D49F-4B95-4A3E-904D-5F0D4D10D1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8012afe9c971671213ca3724296aa1e4d5255425","datavalue":{"value":{"entity-type":"item","numeric-id":540402,"id":"Q540402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de8015428e6f4355f4c8710bb645d05e345b8bf","datavalue":{"value":{"amount":"+0.7614296078681946","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":"Q1976877$2CB80097-BB78-4F28-8E7E-A22776040C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0981983a30bacc3f35523f63becaaeea3403f3","datavalue":{"value":{"entity-type":"item","numeric-id":4670607,"id":"Q4670607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498931420bd2ea5c9b4e911da1dca4e27c3ff7b7","datavalue":{"value":{"amount":"+0.7575008273124695","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":"Q1976877$37349650-7A8C-4148-98C6-C87ABF60B08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d2a916e4aaa0d5ac3bac7f2e5ecd6bac469c6b","datavalue":{"value":{"entity-type":"item","numeric-id":4552747,"id":"Q4552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb1544f5056d93155c2a3afb2fb129a3acc08aa","datavalue":{"value":{"amount":"+0.7429280877113342","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":"Q1976877$9D609F9C-F04E-4AA9-846C-A4B03855DCED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic choice and classical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_choice_and_classical_logic"}}}}}