{"entities":{"Q1887656":{"pageid":1898398,"ns":120,"title":"Item:Q1887656","lastrevid":43395511,"modified":"2025-07-25T10:36:15Z","type":"item","id":"Q1887656","labels":{"en":{"language":"en","value":"Krivine's intuitionistic proof of classical completeness (for countable languages)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2117326"}},"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":"Q1887656$FF6996B1-6FBC-4658-9BF0-B1F74EA7D31E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc90afa9b961127d913f82dd3fde3794aecdd231","datavalue":{"value":{"text":"Krivine's intuitionistic proof of classical completeness (for countable languages)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887656$976877DB-A373-4617-BFB7-C60E1006CD0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7eaa758998b507f7d9e61ebefefcb1370b9bca5","datavalue":{"value":"1062.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887656$8D21B408-9797-4EC2-A80E-7C331CD9D8ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887656$66148C43-6914-4D6E-8639-C44A65EF2522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887656$71A1510D-B89A-4529-9637-D0B6B24FCDD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887656$9EBEAD70-072D-48F0-AE7C-1430F395764A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3f0f81c599b7f3be622e55e11802c61c03707a","datavalue":{"value":{"time":"+2004-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887656$4824B09B-8821-4EBB-A139-F411357B1061","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d0bf8e120f996463bc3cb1b55b670cef7809ee0","datavalue":{"value":"The first part of the paper presents Krivine's intuitionistic version of G\u00f6del's completeness theorem for first-order classical predicate logic [see \\textit{J. L. Krivine}, Bull. Symb. Log. 2, 405--421 (1996; Zbl 0872.03004)]. The second part makes use of the ideas of Krivine's proof to derive intuitionistically some suitable variants of the two following classical theorems: the Ultrafilter Theorem for countable Boolean algebras and the Maximal Ideal Theorem for countable rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887656$20A6B8D8-11CE-40BD-BB16-DE2F6EDB7DAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887656$1A094E6C-1DC8-45F2-95BA-2E02027FC0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887656$67D36F48-F13E-4E75-89AE-45792C380FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887656$F8D8C1C5-A43D-4FE0-AAB5-042ED21C6CEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9cd9c9994f44011ccf85717c454cce059103c25","datavalue":{"value":"2117326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887656$82A3D4D4-09D0-45D9-A360-2F1D8B9C5AF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b00112b9dc317a3fd79acefbc40d0971d24f8a","datavalue":{"value":"first-order classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887656$8A2765A5-65FD-47CD-8DAF-728E9CBB0324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4400f8e61eb754e17a720daaf3eaad89181fd00d","datavalue":{"value":"G\u00f6del's completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887656$63B23CF0-D8D4-4F2F-944D-CFA210B0143C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a59e5500877f3c7b4ae679b4ea3d4fe42bea93","datavalue":{"value":"intuitionistic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887656$5B78DDA5-8E37-4F11-946F-C3A500EE97C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697e9eda6144e55ac6c754715a3eb7fc5a671fbf","datavalue":{"value":"ultrafilter theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887656$CE5EC6CA-60D1-495E-A70B-F196EA8520FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c66f2c170c6bb679228fab1fc7e4c3835ad9dcb8","datavalue":{"value":"maximal ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887656$A1C56FCB-79AA-413F-8D3B-BD39D7969D30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c35b29d62764e885bd29a3001fc5bdbafbb9ec","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887656$AC353C70-A701-45F4-A382-C69AEAD2E0F6","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":"Q1887656$B8AFB163-EEEA-4ADA-904D-413A7DD35990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f227397052729c4eac8c80630485acd1d721b36","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887656$1CA6F2B6-8A82-402C-9DCE-38C3DB908698","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"992b50f8e1a694ec243583e26f0cf3d692f5550f","datavalue":{"value":"W2073185604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887656$007FE310-C4AF-4C94-ADA9-321FE976340B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7629ab157b8c2728597ea57c695c862cbaeb9d85","datavalue":{"value":{"entity-type":"item","numeric-id":4254637,"id":"Q4254637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887656$C5B40ED6-2EB2-4BA8-907E-8F7297431598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f767eb48d94ed0d52d2751735ed6a9462ed4e706","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887656$6F3F03FC-EDDE-47B4-B6A2-93A8D5138893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cab8f9ce419a387d177a7e53c7b2a5d79c4c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1815411,"id":"Q1815411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887656$B67FFD41-917F-4FB1-87E3-55AB49517A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887656$C8E49A1F-BCEE-4881-B0ED-960689161C02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82eecbd73665cc1dd2e70523c55baa89517a70fb","datavalue":{"value":"10.1016/J.APAL.2004.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887656$7B623A45-33C4-4A35-9F58-333B5B1313A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fab66fa4452b185827448d18b127de03bccdd3","datavalue":{"value":{"entity-type":"item","numeric-id":2852157,"id":"Q2852157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4472c4d5e4cd3bef2db1dd8c7243435d9979dc0e","datavalue":{"value":{"amount":"+0.8758417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$9F65C0CA-3705-47E2-A505-FDF3ABF4524E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c1c54bfd5140b1a38cefe5f9ecea15c306608","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bfb716c319ae42c3958d1a57d40876512170d9","datavalue":{"value":{"amount":"+0.8648213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$DD6CCD63-00CE-4ACC-9ADA-B3D8CB77435C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b958373e2438e27311212a3abfee89b629d882e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc87029d160f8400e13083798e0fee796e37d30","datavalue":{"value":{"amount":"+0.8626054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$D5C3B112-40BC-4522-ABA7-0F70B0A74F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aded192bfc9d51c59fedb9df23c5f8cd59282053","datavalue":{"value":{"entity-type":"item","numeric-id":4870082,"id":"Q4870082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2241eadb260f425c9cc31083bd0b349763c3c80e","datavalue":{"value":{"amount":"+0.85834575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$AD30F9CE-16ED-4356-B652-67E3EB029020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a1679d4af7543d798232f09d9cce49996771e3","datavalue":{"value":{"amount":"+0.8557332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$A2EAFF84-8BA3-4ED3-829D-2DDBC3401321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f9f8a48c849b870e0858d0dd47ac866d8921e0","datavalue":{"value":{"amount":"+0.855285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$46328F33-0B64-4103-920E-289124A96BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796c30fb652200cfedf91b8df663bb758ea2be5f","datavalue":{"value":{"entity-type":"item","numeric-id":3201767,"id":"Q3201767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c35032d307bffbb39cbefbf429402ee4d9ec4323","datavalue":{"value":{"amount":"+0.85384405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$4107AD79-A39A-4EBF-8B32-207A1AE23CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb0ee0fc8b5f8f4ed5e39ef5cef29c067be2c59","datavalue":{"value":{"amount":"+0.8513729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$D52BF030-8BE5-44A7-BC43-75B0BB59C508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a05157f37c73789002dc2896eb4c92e4385dee","datavalue":{"value":{"amount":"+0.8502905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$A19C4203-4924-4DD1-82E0-86E7CA32CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45eadad95c10a9ff8894251fe7e8637c4f946db3","datavalue":{"value":{"entity-type":"item","numeric-id":5148116,"id":"Q5148116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdaf748ee04f744c8e091e1e9637617f9521bdb5","datavalue":{"value":{"amount":"+0.8480067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887656$2BA43F0D-722E-4795-B63C-9A4B48CDB8BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1887656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1887656"}}}}}