{"entities":{"Q1901901":{"pageid":1912643,"ns":120,"title":"Item:Q1901901","lastrevid":74251074,"modified":"2026-04-14T19:11:40Z","type":"item","id":"Q1901901","labels":{"en":{"language":"en","value":"Intuitionistic proof of equiconsistency of the Church thesis with set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 815638"}},"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":"Q1901901$89A38E17-24F4-4D16-9F23-A74314FDC607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c3526c7a89a59109b643cbb626b9b5d13119abc","datavalue":{"value":{"text":"Intuitionistic proof of equiconsistency of the Church thesis with set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901901$559F26C5-3CE4-4E28-A0CB-C80D4A424C00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b90fa341bfb5c9b6856454933f6afbe60e31716a","datavalue":{"value":"0835.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901901$2F7155B8-9A78-4CAB-A76A-0AA9C5563602","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e48636b5fa08c10ac39bb80920a584977fb9124","datavalue":{"value":{"entity-type":"item","numeric-id":869789,"id":"Q869789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901901$85504F70-4E83-4BA0-92B3-AB3204A8287C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901901$030E98A8-EFF1-4A5E-B67A-D607D70CF059","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c98862405da01934b96b9633d4b6d492f4e24344","datavalue":{"value":{"time":"+1996-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901901$7372E0D4-3989-424D-992F-05D4EB8AF1C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59c008bd3b6adce9f89e620728afcff3538b7380","datavalue":{"value":"The present note contains an answer to a question of \\textit{H. M. Friedman} and \\textit{A. \u0160\u010dedrov} [Adv. Math. 57, 1-13 (1985; Zbl 0585.03025)] (quotation from p.2: ``... it is not known whether \\(\\text{ZFI}_R\\) is equiconsistent with \\(\\text{ZFI}_R\\) + ``Every \\(f \\in \\omega^\\omega\\) is recursive'' ''). The answer is positive, and it was for the first time announced by the author in ``Intuitionistic set theory'' (Russian) [Theses of the VIIIth Vsesoyuz. Konf. ``Logika i metodologiya nauki'', Palanga 1982, 91-94 (1982)] and later in ``Set theory with intuitionistic logic and a method of recursive realizability'' [Pap. Sov. Sci. submitted to the Sov. Natl. Org. Com. for the VIIth Int. Congr. Logic, Methodol. Philos. Sci., Salzburg 1983, pp. 71-74]. In the same papers there were given the reasons which cause the answer to be possible if we use models of realizability type, and which do not enable it in pseudo-Boolean models. Here we give the proof for a two-sorted set theory. But it can be further extended to a one-sorted version.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901901$3D47C839-3325-40A3-A0E4-05757491985C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901901$2F1D2525-FFE8-452D-A837-66A0ED862F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901901$C08CE0F9-8843-47F3-B429-18500E955242","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ca460afa46d9f17063897bf8459eade4bc585aa","datavalue":{"value":"815638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901901$B5DA31E6-433D-4857-9200-3192B7AFA2BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75541e345a61190625de7713a8f4c6c8c96d9d6c","datavalue":{"value":"equiconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901901$252A0643-2EFE-4869-BBEE-AF75EE625D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901901$61795F81-A28B-4B7B-A92C-5FED7CCBC2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49c66176a5a1d5a7ce49e7c0dddf470b884bb434","datavalue":{"value":"Church's Thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901901$52BCC4F2-CD5C-4FA9-87DA-05FCA2EA05E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efbea88f639d0db8726885ead759a18bf360e54d","datavalue":{"value":"models of realizability type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901901$C7734DAA-BA03-4E95-AC8B-3F5F095DDDD2","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":"Q1901901$BFF95749-424F-41AD-9755-75B235B112EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd1e12da4e2217a55ebef8eb73f80a7e63a7601","datavalue":{"value":{"entity-type":"item","numeric-id":4286879,"id":"Q4286879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb61c97bf14013bf4a201fe468b5a28fa4c5c3ee","datavalue":{"value":{"amount":"+0.8461669087409973","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":"Q1901901$E9C46BD6-29D2-4A9D-B193-BEB00817C3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37761375316c6429f71112a85b1df03507efa51b","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d3b9faf918d6581989e385502f2e55966576f1","datavalue":{"value":{"amount":"+0.8456465601921082","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":"Q1901901$B3CD8A1E-6304-4B2B-9A2B-F220CCE3C194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c78480b647da916ec4a81a367238985aec48ae","datavalue":{"value":{"entity-type":"item","numeric-id":3312223,"id":"Q3312223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1eb20c37c8afb30adea6e176000b814bc806cdc","datavalue":{"value":{"amount":"+0.7938503623008728","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":"Q1901901$994F104A-6524-422D-B531-78DEF633BFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9fd151acb7a251cf68b53f5a813aec6132e134","datavalue":{"value":{"entity-type":"item","numeric-id":3734400,"id":"Q3734400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c653bd8f20187b0de42ee043a77e9da468c80e","datavalue":{"value":{"amount":"+0.7806475758552551","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":"Q1901901$7118C64D-0CF7-4364-85E7-7C0978A2DD0A","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":"871596590b7999caf50c85cf7a0e48ebac122309","datavalue":{"value":{"amount":"+0.7789919376373291","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":"Q1901901$C9BC7B5B-592A-4B62-BEB9-0D61DFE23C71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic proof of equiconsistency of the Church thesis with set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_proof_of_equiconsistency_of_the_Church_thesis_with_set_theory"}}}}}