{"entities":{"Q1823243":{"pageid":1833985,"ns":120,"title":"Item:Q1823243","lastrevid":69039444,"modified":"2026-04-13T03:57:28Z","type":"item","id":"Q1823243","labels":{"en":{"language":"en","value":"Church's thesis from the point of view of provability interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114624"}},"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":"Q1823243$04F516EE-647C-4C71-A3C4-BBA752A0847D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e97de7f20ed4d3dad0b15e95fa9be7fd2c52d09e","datavalue":{"value":{"text":"Church's thesis from the point of view of provability interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823243$F4B3A9AB-F645-4DB2-A490-27F066E6D8C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dc7e6eb3011bd305a327497ce5420a0a15f3042","datavalue":{"value":"0681.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823243$A9ABC05F-4C65-4E93-B36C-BD22E74701EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc4e0705867877c10fbb8322484874a4fc7cbe55","datavalue":{"value":{"entity-type":"item","numeric-id":752680,"id":"Q752680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823243$82DF32B4-FABC-45E6-9D51-1064CA6ED731","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823243$3BEF317B-418B-44E2-AA2B-D5E3C7F25D24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823243$FA1AE96B-846F-4EF5-A625-E7E09D51C9C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"564e0ef7b1e58608611bfe6cea63a4a428db37bd","datavalue":{"value":"The paper considers a natural extension of one usual way to provide a provability interpretation for the intuitionistic logical language in the arithmetical language as follows. For each arithmetical formula F let tr(F) be a result of prefixing \\(\\square\\) to each subformula of F, and let \\(F^*\\) be the result of an interpretation \\(\\square Q\\) as Q\\&Pr[Q] in a formula tr(F). Here Pr[Q] is the standard formula of provability of Q in Peano Arithmetic. The paper demonstrates that if F is one of the following formal versions of Church's thesis: CT, CT!, ECT, nCT, then the arithmetic formula \\(F^*\\) is false in the standard model of arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823243$F2CC1E3D-D665-46D1-A378-C667FD0C99F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823243$B2990D16-7235-478B-AAAE-31C609501845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823243$F3E357A2-F578-4117-91B2-6BD5A13968E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823243$E89081E5-8E38-4382-9F34-0DAE1DBC540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823243$CD71428B-89FD-4566-B447-98014E9371B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e828305ad678af9a8aaf9b02135565922cc91728","datavalue":{"value":"4114624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823243$36EB65C3-447F-43FA-8821-4E7CD744D338","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823243$09DE4696-FEBD-42C7-B785-F5101B2FB837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823243$04A73143-E18D-4D25-9506-2B44869CF773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b0d9926522ee8a284ecd19b1ce82443520c569","datavalue":{"value":"provability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823243$58963D39-EAAE-43C6-BF04-E471AC0E6B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823243$3707C13B-A141-4323-9B90-6B59E5E615C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8ed9eb7b5676e67d936495c86d88b4db3563325","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823243$B7FEAFAA-C57B-416E-BAB1-EBB9FC09632A","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":"Q1823243$100055E3-A89D-4401-8E31-8C9A5A171A39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92577057e240cb63e05ea8f0ec753c4adfc3115","datavalue":{"value":{"entity-type":"item","numeric-id":5493749,"id":"Q5493749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9e5b9dbb4fc588118d94387d945a1bc8af6a76","datavalue":{"value":{"amount":"+0.7974961996078491","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":"Q1823243$F6FE04B3-797A-4B1F-9917-FFCE4DB84A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0cc771237c33ec58c6829eca317049aef183914","datavalue":{"value":{"entity-type":"item","numeric-id":2701936,"id":"Q2701936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20bc5791d52184126ef7b17992e5c7cf3a5b592","datavalue":{"value":{"amount":"+0.7715294361114502","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":"Q1823243$E6DA87F3-AA12-42AD-AF32-4A7EB386CED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c4320fb5319f44f3c83dda0df751e9532f65cf","datavalue":{"value":{"entity-type":"item","numeric-id":3797179,"id":"Q3797179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20bc5791d52184126ef7b17992e5c7cf3a5b592","datavalue":{"value":{"amount":"+0.7715294361114502","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":"Q1823243$4893312D-6763-4003-A754-BF0C85227C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bf00b20a5a5322a2f378d2f2673308fe11163b","datavalue":{"value":{"entity-type":"item","numeric-id":4723728,"id":"Q4723728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57164f6db6f9af288b0d81201f2a746f76bf21bb","datavalue":{"value":{"amount":"+0.7686183452606201","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":"Q1823243$84D25FF6-46C4-40FF-AE1C-6D3D5232008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ac4fa9240c052e894ddf6ae1731712be724738","datavalue":{"value":{"entity-type":"item","numeric-id":2997664,"id":"Q2997664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3d0e14e39c86790952d43b5073612bf56f362b","datavalue":{"value":{"amount":"+0.7404120564460754","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":"Q1823243$59EA0FCF-8795-4403-AC95-F29C5C00A100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Church's thesis from the point of view of provability interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Church%27s_thesis_from_the_point_of_view_of_provability_interpretation"}}}}}