{"entities":{"Q1815411":{"pageid":1826153,"ns":120,"title":"Item:Q1815411","lastrevid":43341950,"modified":"2025-07-24T22:24:41Z","type":"item","id":"Q1815411","labels":{"en":{"language":"en","value":"Undecidability and intuitionistic incompleteness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 944233"}},"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":"Q1815411$D71AC396-6DD1-4318-9665-A27E3A58012F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eb1ee9940cd7b582f233c344239c9163dbef749","datavalue":{"value":{"text":"Undecidability and intuitionistic incompleteness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815411$40CC0ECE-335C-4581-B396-28096D4EA064","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"803a65df1ea06093047b733b204691bfe7a2cc07","datavalue":{"value":"0862.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815411$1A1EC373-471A-4157-B1C2-CBFD1D4A8254","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e89f54be023758e6ccbadbe621513050140d0ab9","datavalue":{"value":"10.1007/BF00257386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815411$05F5EB7A-074E-45B3-A075-F104F0F41593","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815411$C2BCC52B-57A6-427D-8D40-4F2D8222097E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"820ac7d451e2cf6da196b3ae720534c2607f7877","datavalue":{"value":{"time":"+1996-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815411$059FF47B-0361-4E1D-A008-F1A4A90BB1F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"241deb9a93c0828c186e34be02811eaa99b51287","datavalue":{"value":"It is proved that the many-one completeness of S-derivability (for a deductive system S) and its completeness w.r.t. a class of structures K imply Markov's Principle MP (under some simple assumptions on S and K). This result yields as immediate corollary that weak completeness for classical predicate logic and strong completeness for sentential logic imply MP. Hence the corresponding completeness theorems for (the negative fragment of) intuitionistic logic (w.r.t. Beth and Kripke models) imply MP, too (and these completeness theorems are unprovable in second-order Heyting arithmetic HAS).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815411$1F28C6DE-1C62-47E2-9862-6A77AAF0DA1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815411$ECEC70B8-B893-4605-AF0E-AF7C9887E9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815411$5259E5FD-5132-4624-9677-F606C5748554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815411$ACD4C829-D8F6-4316-B7E6-797E69955F86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fee9acb24023b34470c4dd08442f9b0f2a363d26","datavalue":{"value":"944233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815411$97121089-5671-4B7D-977B-B40E1A7133A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d7a560420159aa094578481c0ba8a1e012e384c","datavalue":{"value":"Beth models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815411$E7A882D4-69D7-4B6F-9FAD-6A1A803A3B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815411$FAC523A4-8CBC-46EB-803C-C060B275BF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5670a6c6d1baa39a0a64ff77e086b1c9f1694a","datavalue":{"value":"Markov's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815411$EEB3D64C-9C84-48B0-9314-394D726FF979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815411$D4AE0DD3-4C44-40A1-91F0-E83E57408013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815411$166A3AC0-88B7-4E0D-84DE-8E463A3B1D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815411$AFF61AE5-AFB6-4398-BD49-17FE67F338A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee706b3c2af5a99685d8000cec2ff462d2090be5","datavalue":{"value":{"entity-type":"item","numeric-id":1182689,"id":"Q1182689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815411$22CEA8C5-CB74-4467-82A0-E49028BE1259","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb839efe94641093a233cdcf9035916be7697d4d","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815411$F8D00C2C-ACD8-45F8-AFA4-D3E1C3FA5D62","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":"Q1815411$762E2E38-8FDF-4965-A4A0-18A0D75CD1CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d614c62abd6af7050a8cc9cb2cc87b60aacfc7e","datavalue":{"value":"https://doi.org/10.1007/bf00257386","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815411$4E3A8757-2CF6-4E4E-A63E-C74B76FA9C3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"718266fa57e02655045a4a584ef1a1645ccf419a","datavalue":{"value":"W1988967089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815411$01611E33-7DFD-4BE1-80BC-989A68A5157F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d8cc5e621f21077877b4877ad679747dd5f7fe","datavalue":{"value":{"entity-type":"item","numeric-id":1896752,"id":"Q1896752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b1a1e9de3de695401754b6a948f3a397e6faf4","datavalue":{"value":{"amount":"+0.9529958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$45219C6E-FC80-4063-A840-EBBDF21384F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6474f812dc664ab48b0ca66699aeb61daf1575","datavalue":{"value":{"entity-type":"item","numeric-id":3611729,"id":"Q3611729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e02a53424ae8bfe7eda12df699112393a0e8e67","datavalue":{"value":{"amount":"+0.9327183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$56935BAA-E0F6-442F-BBC7-5F4D65EDACAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de5f7a9663af0f4e85e1bc6b8095f4355dee680","datavalue":{"value":{"entity-type":"item","numeric-id":3978786,"id":"Q3978786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"043e4ecd2ad5ef8a1fdbdbfcae530bf741687679","datavalue":{"value":{"amount":"+0.9276645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$6B9C73F1-5C51-48D5-BD5E-146B1FED7637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b96026b3aaba776273a3a5152542ec2bba6ae2","datavalue":{"value":{"entity-type":"item","numeric-id":5753927,"id":"Q5753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834896fc084abbf8014143f823e71d36ff73aa12","datavalue":{"value":{"amount":"+0.92498875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$219B1416-6F3E-4BE6-94CD-30549049F5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc608ab7246e7c974e6375d3af10f2214087912","datavalue":{"value":{"entity-type":"item","numeric-id":3576213,"id":"Q3576213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77535c85f2df634a9db15182d199028950517da2","datavalue":{"value":{"amount":"+0.9185245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$3A29D57B-FE72-4216-B662-2541EFDCD965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a250ef3239b28e902972a32b55b9ceb834228e7","datavalue":{"value":{"entity-type":"item","numeric-id":4392769,"id":"Q4392769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb2547a51c2137445b17e5ca278915c762a178b","datavalue":{"value":{"amount":"+0.9146731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$5AA6358E-FCDF-445C-A19E-FD8297B937C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eefaf801916d8b1d34d9d4e4a630c8a5be61b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4294173,"id":"Q4294173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64c5ac2575a11e61a0011f410ba2df5aa6480e1","datavalue":{"value":{"amount":"+0.9126273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$28D7ED55-48B9-481B-930C-F9C41EBE5FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345a23c3869bfafb8eed5d17b432ae196016e837","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babd389748d04aa67c1b9f5ba9952bfedc886179","datavalue":{"value":{"amount":"+0.9076044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$57618DF4-B82E-40C1-B02B-0C7046C13BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3595cd3bf43b779d78ca12928077cf550fb67237","datavalue":{"value":{"entity-type":"item","numeric-id":4943504,"id":"Q4943504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e8c8fb930d489b05ee1457aacdbd706eedfa87","datavalue":{"value":{"amount":"+0.906875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$C5C7ED7E-6D54-4F7D-8724-E40ADBBEE6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1031de922dea729e06947aec77d759ba05b0f0","datavalue":{"value":{"entity-type":"item","numeric-id":601801,"id":"Q601801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720691db41211e8050b197adf1f84a78d1c88bc3","datavalue":{"value":{"amount":"+0.9051039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815411$DED83572-205D-48F3-885F-CFDAC5CF9AA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1815411","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1815411"}}}}}