{"entities":{"Q1372941":{"pageid":1383681,"ns":120,"title":"Item:Q1372941","lastrevid":71538837,"modified":"2026-04-13T22:55:25Z","type":"item","id":"Q1372941","labels":{"en":{"language":"en","value":"Provability in principle and controversial constructivistic principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1083182"}},"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":"Q1372941$33812912-3A2E-423A-8958-421EF791CBEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cee3b52c682b56f661c1a4c47d665432d8826db","datavalue":{"value":{"text":"Provability in principle and controversial constructivistic principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1372941$DDDB506F-4399-433C-94D7-D3D16D34009E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ec36bad2ee8365184ba3438677e7bf7864c84f2","datavalue":{"value":"0883.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372941$6E79BCA8-D973-4D14-A376-701DA7C2FEEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"562fba07c7623cd5505343b8d3cbbd7a751e9afb","datavalue":{"value":"10.1023/A:1017954806119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372941$B98245DC-38A7-44B6-B882-E7D53750692C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d8806d8e05c27ac5a88b3dbec26c9e656a1fde","datavalue":{"value":{"entity-type":"item","numeric-id":185581,"id":"Q185581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$3DA14589-3630-4AB5-948C-18272FD2AED2","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":"Q1372941$265C0F3C-8D7E-4D05-AA67-FA570F0C44C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20d9699532b3f4e30cf94a2814dc68ff83c6f6ad","datavalue":{"value":{"time":"+1998-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1372941$14DF7316-A5A3-4EE7-98DE-B7B9CEDE359F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af694c90a83991508dad5744add4a1d4f739d580","datavalue":{"value":"New classical epistemic principles are formulated in the language of Shapiro's system of Epistemic Arithmetic. It is argued that some intrinsic plausibility can be attributed to these principles. Subsequently, the relations between these principles and variants of controversial constructivistic principles are investigated. The result of adding these new epistemic principles to Shapiro's system of Epistemic Arithmetic yields systems which are still conservative over Heyting arithmetic (under G\u00f6del's translation). But at the same time these principles make certain relations between (translations of) controversial intuitionistic principles provable which are in their absence unprovable. For instance, in the context of one such principle, the intuitionistic version of Church's Thesis implies Markov's Principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372941$4CDFF7E3-4B51-4758-8B14-066FB361D861","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"11880a9cbb1795a4665230748b074cbe018abf41","datavalue":{"value":{"entity-type":"item","numeric-id":185581,"id":"Q185581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$E29478C2-F0DC-49E8-BCFF-7576E58985B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372941$9E6F685B-87D1-4F55-A739-BAD4D32AD340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372941$34B1C474-D791-431E-A481-1DEAF89C2067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372941$F687AC40-C853-4189-91C4-DF6009F5AFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372941$AF748E5C-F7CC-470A-B547-5A32D3B5A2A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e180bef21ecaf25f64c61096cf36f1363f63516","datavalue":{"value":"1083182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372941$B07045FA-0B69-4620-BBFF-5AB3F461567E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d38694102533210b64da1cc6b96714137554a247","datavalue":{"value":"epistemic principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372941$19C860D5-14F3-4AC2-8E33-B2B73FF4D38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7c2b7240b474d8543f1aaa02a98f0a41ef4d7d","datavalue":{"value":"Epistemic Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372941$1B90991D-7A7D-4369-BBD7-8C3070FD5153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372941$F9F97C9B-5CE4-4111-B1FA-FCD645C4B606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe582b9a00802443e8452d3b18a63e6f85aea0e","datavalue":{"value":"intuitionistic principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372941$74699680-C1AC-420F-B365-86FECFDB6FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49c66176a5a1d5a7ce49e7c0dddf470b884bb434","datavalue":{"value":"Church's Thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372941$6BF85DF4-DB96-4E09-A586-7E1420D4CB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa4db72529c216e6ca01eaf3dbb23b296ba453d","datavalue":{"value":"Markov's Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372941$FCBEC560-5E04-4ECE-BFDE-98A0F86FA2B6","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":"Q1372941$2B1CD516-E531-44DC-AEBE-238DCBC78603","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82510085048b7da99596b08173af84cfee5e936a","datavalue":{"value":{"entity-type":"item","numeric-id":3998431,"id":"Q3998431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$6CE96D58-9985-41DC-9D7D-7F061C0A2856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24c75003c99af220ea76cb1840ba3a855a2d5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3674656,"id":"Q3674656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$EEF0A59A-F9A3-4001-A92C-EBFEB90841BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$E597FA16-4897-462D-BE2A-FF4B2CF6BC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff7e3e8e126011212e70107285b6ea1712f0265","datavalue":{"value":{"entity-type":"item","numeric-id":4496833,"id":"Q4496833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$119AC22E-6822-46A1-B55D-3EAEBF45CC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d232e3eae2c4bdffa4fd11360a8d16f50cd77a","datavalue":{"value":{"entity-type":"item","numeric-id":3737423,"id":"Q3737423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$C0DC52E6-551E-475A-88F8-1A57F4AA4590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9fa29d85b0fa6bb92ccad434bdf75276ac6ee7","datavalue":{"value":{"entity-type":"item","numeric-id":580343,"id":"Q580343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$AB065E89-A2B4-4D24-8309-C5EAAD7116F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbd811667dd4c8f8bc0f4c4357caf94417176bb","datavalue":{"value":{"entity-type":"item","numeric-id":580341,"id":"Q580341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$AFFB6D1A-785C-41FF-929F-232803710023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf6d466157a49dfa12e908720e3ba455da62b63","datavalue":{"value":{"entity-type":"item","numeric-id":3486545,"id":"Q3486545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$12F26316-0CEE-42FE-AB9C-B6FCD19C8D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f408f85e60a2998438dee117b91ae8d167e7e986","datavalue":{"value":{"entity-type":"item","numeric-id":3728881,"id":"Q3728881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$6FBD93E9-1EBF-4099-B069-EF2C3AC8FA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c115319dc6e2c21280f51b08784d09d93319cf","datavalue":{"value":{"entity-type":"item","numeric-id":3764127,"id":"Q3764127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$181D5F4C-7C6C-455D-9B29-0B6B5F4328C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee26bb804201e188ad3a59562220475d7a50f2df","datavalue":{"value":{"entity-type":"item","numeric-id":5592220,"id":"Q5592220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$9587E450-C209-40AB-B2E2-85775B2B52A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f8755c99779d476d1d4876ebbf4443a9da1493","datavalue":{"value":{"entity-type":"item","numeric-id":1103597,"id":"Q1103597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$0D7EE61C-14ED-4345-9D87-4F24FA378265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39051a56fcc1aa4e5bc66f1455855eaf24de286e","datavalue":{"value":{"entity-type":"item","numeric-id":4128796,"id":"Q4128796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$9A38E2D1-2969-487F-8E90-BD8265FE8CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a13b7ace3909765e8f24655249e7c09e017a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5523668,"id":"Q5523668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$5644F069-B1CE-4497-916A-B307C206CC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34297393da302b6883387b42b35969e0bac085ff","datavalue":{"value":{"entity-type":"item","numeric-id":5579001,"id":"Q5579001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$A9BE4505-9E48-4492-BDAB-3B5345840028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cca1b28cd860bb0d426bbd5e42a4a022d7bb93","datavalue":{"value":{"entity-type":"item","numeric-id":3033734,"id":"Q3033734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$DDDEFFAF-D762-4B60-86BE-022CADE1EDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c338d1e5ca3b5e43f79b86f7417774ec97e6ffdc","datavalue":{"value":{"entity-type":"item","numeric-id":5275663,"id":"Q5275663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$EB98A101-AB71-484F-B87A-BEBB30485558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a7a6f8cd1040cba3aa4e1f28c926c68b639ebe","datavalue":{"value":{"entity-type":"item","numeric-id":1094407,"id":"Q1094407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$C9D2CCE2-BB3B-4C44-AD5A-B3103345E31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fd46ab013fa0df7a03d2db93b148b9403f6040","datavalue":{"value":{"entity-type":"item","numeric-id":3347874,"id":"Q3347874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$41844B32-023A-41F7-BC6B-92764831DC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$755B3347-B38D-4322-B057-1DB9CFA4FD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160a2374c05e466369d09ccede54688eb30beecb","datavalue":{"value":{"entity-type":"item","numeric-id":5183475,"id":"Q5183475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$3758672D-DBCE-4361-B5BB-459B97086E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372941$5EBA180D-66E1-4B93-B7A2-326188AE1D54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a3cfa5fb6ef3b28236d23c5ab9544b7755f89a7","datavalue":{"value":"https://doi.org/10.1023/a:1017954806119","type":"string"},"datatype":"url"},"type":"statement","id":"Q1372941$72FBF7D7-30A1-4205-BD81-ED2BBF39E1F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75549dca6d6b5763b2d6806a4e282034bd9b1c15","datavalue":{"value":"W2023909168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372941$337F9F46-1622-42A8-BFBC-3C2C5A2FF95D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fcfec8de2fa262ee798ecec38af2d311d55fd99","datavalue":{"value":{"entity-type":"item","numeric-id":1299766,"id":"Q1299766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04aece438e9211be5ae3cc199e6b2bc7ff1bafa","datavalue":{"value":{"amount":"+0.7667377591133118","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":"Q1372941$1072FD67-DB57-4CE7-9AE0-12C0D204A8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd08d4fadc95dad610bba5c99b5339f832348b2","datavalue":{"value":{"entity-type":"item","numeric-id":3347874,"id":"Q3347874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32021ee9d90e8aed6b8630268f7643bd26408578","datavalue":{"value":{"amount":"+0.764775276184082","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":"Q1372941$80E463D9-AA0C-4C5C-9BEF-47ABAD4BF3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887db6f1c4819702b241d71744c26fe870b04d3e","datavalue":{"value":{"entity-type":"item","numeric-id":1344441,"id":"Q1344441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc60d57d98db1b135040936c2f14ef6fc6466ab","datavalue":{"value":{"amount":"+0.7625486254692078","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":"Q1372941$E20CEBB5-61BA-48BD-A413-A248C861267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09ef9d5d74cef056c3dcccef28f0b1a74eea9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5687316,"id":"Q5687316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f8ecfb38683471bf85ec5b03d3eceb66a1f01a","datavalue":{"value":{"amount":"+0.7499861717224121","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":"Q1372941$FDF09B2A-A834-43CC-85B0-698B08334DFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provability in principle and controversial constructivistic principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Provability_in_principle_and_controversial_constructivistic_principles"}}}}}