{"entities":{"Q2120969":{"pageid":2131712,"ns":120,"title":"Item:Q2120969","lastrevid":82519745,"modified":"2026-05-06T21:05:42Z","type":"item","id":"Q2120969","labels":{"en":{"language":"en","value":"Constructive Ackermann's interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7501981"}},"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":"Q2120969$48D4BA86-7E55-43B8-A600-347E668EC24A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dba5ed1fcb1937343a58f99de1b86b5611961b4","datavalue":{"value":{"text":"Constructive Ackermann's interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2120969$0A0D297A-C03F-42DC-B589-1A84C3550DC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d56a521105fbe5cf77775a30c9443f2ccc1f8f","datavalue":{"value":"1504.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120969$830949EF-F01C-4BAD-B3A0-121D0C031EE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"665a180c659fb75e62dcabd529d74ac233ac470f","datavalue":{"value":{"entity-type":"item","numeric-id":2120968,"id":"Q2120968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$A0F9D450-32B8-45CE-AC69-BBF0492069D7","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":"Q2120969$DEEB846B-2F4F-4565-8F71-343F3B15C8FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61a1c46f4eee8fdcf70f057ed8a6245e7bfc68f9","datavalue":{"value":{"time":"+2022-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2120969$356F2E7B-7D95-4326-B0FF-168B317E7454","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cebd9176ff2b2c9e5d76b437b33948f3e7871b6","datavalue":{"value":"https://arxiv.org/abs/2010.04270","type":"string"},"datatype":"url"},"type":"statement","id":"Q2120969$6962C5AD-9EA3-466D-B32C-252D73EC022F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5eec1e27e608dae4fe913c8876b70ec687149b39","datavalue":{"value":"In this very readable written article, the author offers a constructive version of Kaye and Wong's result that ZF\\(^{fin}\\), a finitary version of ZF, is bi-interpretable with PA [\\textit{R. Kaye} and \\textit{T. L. Wong}, Notre Dame J. Formal Logic 48, No. 4, 497--510 (2007; Zbl 1137.03019)] in the following form: Heyting arithmetic HA is bi-interpretable with finitary version of constructive set theory CZF\\(^{fin}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120969$C982F326-F222-4C76-82C4-7EABBC848E8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120969$949A234A-05A0-4967-ADDA-3A7FC7FA5F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120969$7619A47E-A1AF-45B4-B968-1627B193BBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120969$0244AD4F-60B2-430A-B70D-DFA2074C72F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120969$9A73EC20-6D8F-43B8-80E4-C8C486BD9526","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d33fee05cef5e8b95cb83f1055b8d1c102df318","datavalue":{"value":"7501981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120969$52887A36-244D-4380-8EEA-5536759DDCCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120969$1A30AA19-1EA7-471E-8E2A-0206062CCE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120969$E4CA34D6-212C-491B-954B-BC462D5457E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812e3553b07592ecaf54ba454e66e95cb44dd30c","datavalue":{"value":"finite set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120969$FF9FB57C-02F4-475D-8318-1DDDC2A46A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120969$C455B608-815F-4455-9660-F6E299C12850","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3d7a3d9dc8b91d8344f111ebfd1987b9cd3686e2","datavalue":{"value":{"entity-type":"item","numeric-id":309963,"id":"Q309963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$8C88190C-7FFE-4C63-BF02-2AFB80F8354D","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":"Q2120969$5002096F-A173-4D9F-B84B-842D458D190E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a14613b744dcf8bb8876690203cf95f810e99a4","datavalue":{"value":"W4205136466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120969$0426F87D-C3E1-4710-BBEA-2F79D614EC1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"722e147f6e8efc8a80f904e2d3c5a2e6e1ea3e27","datavalue":{"value":{"entity-type":"item","numeric-id":1942037,"id":"Q1942037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$19166760-A28F-497D-9C5E-CDB69E386BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$22868169-1128-4AB2-BFB0-4602B3C84A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303bfe9b76e69dc11e852f1b28a0854ea4c57e1b","datavalue":{"value":{"entity-type":"item","numeric-id":985006,"id":"Q985006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$BF246400-DE6B-4DA8-A6B0-1319817F101A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b575a9914e442b15c94454a5686178692eb732","datavalue":{"value":{"entity-type":"item","numeric-id":2425351,"id":"Q2425351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$CF795EEF-EA28-4DA0-B7CA-A3C61169259D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69176785d7079f60cb6895a66d2d051260c78d8a","datavalue":{"value":{"entity-type":"item","numeric-id":1038653,"id":"Q1038653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$4417BF6E-BC17-4020-89E3-F4C1C40A5C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f2684eccf60aac4d92d7eb46093d65871eed0f","datavalue":{"value":{"entity-type":"item","numeric-id":1330312,"id":"Q1330312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$8E56FF45-5E52-423B-9C0F-5A61CD559E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550a766346b8a68091d0d362cb50026c93ec1841","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$A63109D6-62C6-474E-81F0-0F28922D48EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f5e3d947d8287be5c6f7db9dc23c39945753a5","datavalue":{"value":{"entity-type":"item","numeric-id":5448619,"id":"Q5448619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$D6B7E780-7EC1-4EDA-BC0F-546A4FDA406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6907ea4b0793780103a07987b11c4056a5cf28","datavalue":{"value":{"entity-type":"item","numeric-id":5659531,"id":"Q5659531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$B3CAF5D3-66E0-4725-B910-6C588362FC9A","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":"Q2120969$E4D460D2-1C60-4CAF-A219-C5701105B442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ad494f6753f30f6a6b9b8e016dbaa7e73069ac","datavalue":{"value":{"entity-type":"item","numeric-id":5393646,"id":"Q5393646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120969$139E8D5F-51E1-4C6F-A557-8E9CA2048679","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af83b0108254215b7a66a581cf9846e6f054a595","datavalue":{"value":"10.1016/J.APAL.2021.103086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120969$5AD2ADF7-08AA-4B8F-8351-36AAA413C6E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a22f3bde1a8584cbc458cd622fc3e0d3890c28","datavalue":{"value":{"entity-type":"item","numeric-id":4250050,"id":"Q4250050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20acc6c54a74c27e6569b319328bc15bef48ac88","datavalue":{"value":{"amount":"+0.7589629888534546","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":"Q2120969$FA2638B1-DAFE-4347-B3D0-D7CF429873BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd908aea5851c16b5f2d6f34761aac607705a1da","datavalue":{"value":{"entity-type":"item","numeric-id":1868168,"id":"Q1868168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20acc6c54a74c27e6569b319328bc15bef48ac88","datavalue":{"value":{"amount":"+0.7589629888534546","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":"Q2120969$ADDCA6FB-9496-4CD3-BE43-634AB1473BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a3364d75f1def53d351db53d1753b4448aefbf","datavalue":{"value":{"entity-type":"item","numeric-id":1577478,"id":"Q1577478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0e2993f4c41397311998377a76c2b5fd2c4686","datavalue":{"value":{"amount":"+0.7372208833694458","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":"Q2120969$35BCD9B0-94DC-45AB-987D-048574FAA527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1507afc774026e87094fbc6fa5d6fd6e3eeb31ca","datavalue":{"value":{"entity-type":"item","numeric-id":4243761,"id":"Q4243761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0e2993f4c41397311998377a76c2b5fd2c4686","datavalue":{"value":{"amount":"+0.7372208833694458","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":"Q2120969$73F7A178-AD95-453F-B875-31E9E913B604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad93ef737236c095811cdb874d4696a52c8c9fea","datavalue":{"value":{"entity-type":"item","numeric-id":2425351,"id":"Q2425351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946fdae5bfb48937aaefcde7026f1091662420cd","datavalue":{"value":{"amount":"+0.7303217053413391","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":"Q2120969$3310A3B0-75A2-49F8-ADFB-A6BF14A2D2C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive Ackermann's interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_Ackermann%27s_interpretation"}}}}}