{"entities":{"Q6041142":{"pageid":13175211,"ns":120,"title":"Item:Q6041142","lastrevid":47854636,"modified":"2026-01-02T21:36:37Z","type":"item","id":"Q6041142","labels":{"en":{"language":"en","value":"Hardwiring truth in functional interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689242"}},"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":"Q6041142$1BCF6196-EAD3-419C-A542-CB45DB6C3FE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e35b04c6555f8e81814176e801b861ca29d2fd30","datavalue":{"value":{"text":"Hardwiring truth in functional interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041142$62243C94-F4D0-402D-8DD4-C123FD785685","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44bae37465028a71cc63fbdee709b5745419b36c","datavalue":{"value":"1518.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041142$54C93C3B-DA5E-441A-ADF6-17A8A0F86C84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38d6bea29efcdcc9bcc6fc4eb5432297bea74e4f","datavalue":{"value":{"entity-type":"item","numeric-id":1705750,"id":"Q1705750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$9B77C2CA-5FEC-492D-A2A8-3D55A537DEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e86e1216a92c4550f95799f0e9e6b17064108fc7","datavalue":{"value":{"entity-type":"item","numeric-id":361871,"id":"Q361871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$8E1CA9B0-D855-4D8C-87A7-1932672395E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e24811b0c50f98740f81ee39ad4516f888f778d","datavalue":{"value":{"entity-type":"item","numeric-id":2578061,"id":"Q2578061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$65523453-1259-4077-B988-B47BAE3C0595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041142$0E5D96A9-C962-4180-8F88-7A183D8C3700","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcd4d0c35dd2b9a681f2ad9972f3118eff3d3f29","datavalue":{"value":"This paper, which continues the authors's [Ann. Pure Appl. Logic 169, No. 5, 392--412 (2018; Zbl 1426.03013)], focuses on the reasons why the soundness theorem of intuitionistic nonstandard bounded functional interpretation with t-truth of the nonstandard extensional Heyting arithmetic in all finite types holds. To this end, four different proofs are presented: by induction on the length of derivations (the standard proof), by hardwiring q-truth, by means of the copies-only method and using the t and o translations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041142$EA4B3B4A-D45B-4ADF-9757-C073F98BDDFD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$D3D7C799-B377-44F4-BE0C-515648F63A90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041142$F0197C67-D57A-47F8-9969-970A2FAB46E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041142$E2E7C448-70C1-4F00-B1BE-7A6418F97F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041142$12998256-F316-4FD6-A5C3-AEE563F69F28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7d925f4fe1f9aa92e7e9e1a53ab0a3687d6baa7","datavalue":{"value":"7689242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041142$940539DF-870F-4960-BECF-973C74BDF9E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72dc6367a4b2d2e40e12fb0c8b10be252a5e672b","datavalue":{"value":"interpretations with truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041142$6D7A4692-B0E8-4FB8-8EE1-9FB0F451B7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041142$5ED90797-661C-43DD-8D32-820E5FF2BE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041142$FD132BEA-454A-4552-AB65-C4F3AA373450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"549b02232bcd4545d1dc95ac49e0dab867fd7323","datavalue":{"value":"bounded interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041142$C6C94F59-F134-4877-B68C-1CE3574F7911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0ae92f85a2c0624148c2c26d6bdacf11df2351","datavalue":{"value":"nonstandard arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041142$FBA78D20-C1CB-40AB-AF49-2591FDB0B692","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":"Q6041142$F61C4275-E961-4F80-B181-84C4C008BB73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8ca854026d3145106d2340b5468a3dca62b467d","datavalue":{"value":"https://doi.org/10.4171/pm/2094","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041142$403A8245-51A9-4A11-BAB9-0FEAC5047599","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bceb2f62972571241b1f96017d6b5225849b0b58","datavalue":{"value":"W4319871516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041142$416B8116-B7B2-4E79-9083-5C49A32330F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"117810964db980ad00f39ab39d43879214724e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4401924,"id":"Q4401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$8DB569FE-F570-43A4-91F5-961B2B8FDD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3271d2cca78bd2e21df6d729810e97ae3f24a8ca","datavalue":{"value":{"entity-type":"item","numeric-id":1706266,"id":"Q1706266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$1F2CD6CC-6A49-433C-B9A3-27C35FD267E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e57223c49f47cd4141dfd16ee31ee337aa4cdf","datavalue":{"value":{"entity-type":"item","numeric-id":2659105,"id":"Q2659105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$B01307AE-A331-40BA-9057-B1C616B0662F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0585242910d00f6ed98a71175bb6151f9e7d698e","datavalue":{"value":{"entity-type":"item","numeric-id":1006608,"id":"Q1006608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$1A59A16D-5C64-4969-BB8A-2435E99FF5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26e7e48781a52e6dc033fbfd496250fb6f1e60e","datavalue":{"value":{"entity-type":"item","numeric-id":5477639,"id":"Q5477639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$53DFD9F0-369E-4A64-98E5-5061534360BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$4F5317BC-DA9F-452A-A994-D7BF3F90C354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e2aec4aaef2a9ada954ea00126c23783b68425","datavalue":{"value":{"entity-type":"item","numeric-id":3066291,"id":"Q3066291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$81AE8DED-04FC-4E7B-B2BA-70C8CE57618C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$55E878FA-0320-43F2-AEEE-71F49EDD6734","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":"Q6041142$C621FA3E-1AD9-4A8E-ADFC-7A2417E55F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea22355f4809f1b9a7b437907def4782c9b3a721","datavalue":{"value":{"entity-type":"item","numeric-id":5575558,"id":"Q5575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$F52A0DEA-2E19-4CF4-B928-4B25BD54C707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa6c57aae1d21de49bf812d56ed5b9bb9f3500f","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$DC53CC31-4363-4AD9-8C12-6E4FE950FF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$8CAB8D16-1051-43A8-9E60-7FE8BBE449B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d52afa612ae761cf8d74b716994a1a5e8e024","datavalue":{"value":{"entity-type":"item","numeric-id":867407,"id":"Q867407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$05B718AC-6302-4965-BCE9-E3DFAB4146D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$A636666D-D5BA-4F74-ADC9-39A777FD44B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$F2680AB2-C9B3-4D28-81CD-77C6EFE3AD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041142$A034CDDB-44E4-452E-8102-71182BB0A163","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad99ceecca4a4c00d8dcc0d1313c3623a25b97f4","datavalue":{"value":"10.4171/PM/2094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041142$B55E6D45-DF05-45F4-B058-6A7C69CFF561","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8ec2fd2af269253413bfc070417ca339fa1fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3066291,"id":"Q3066291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f794a7572b8b906fd30e34226b7d627a80cc46a1","datavalue":{"value":{"amount":"+0.8389157652854919","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":"Q6041142$144A76F9-7D4D-45BD-8FCF-ED487F7CFDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6a439cb401c7a2f3638fc599c80413a1101627","datavalue":{"value":{"entity-type":"item","numeric-id":5112393,"id":"Q5112393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056551e7c60a7b0a955c11f7beddf9fb00ea6bad","datavalue":{"value":{"amount":"+0.7687926888465881","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":"Q6041142$E16C0132-E109-4098-BA55-DBF1D361D427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1eca4444bb99a64ff5e45d5c3692d1f030ef28","datavalue":{"value":{"entity-type":"item","numeric-id":424545,"id":"Q424545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d56b3753e1c914f9ab645b46e5aa558dda4b39","datavalue":{"value":{"amount":"+0.7675553560256958","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":"Q6041142$A762A21F-6A2D-4938-9AEF-B5B5478D7257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0971ae14a0042af53c3be105ed8834bdf08b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2344622,"id":"Q2344622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74db868a4e9dff8d6b1ddef203f81addff14480d","datavalue":{"value":{"amount":"+0.7647030353546143","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":"Q6041142$869A171F-AD23-4A85-A576-2DE9C99D04E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1592a019e6f0d81b78cb26575f91e674f3fae5","datavalue":{"value":{"entity-type":"item","numeric-id":3159413,"id":"Q3159413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c1d65bf71a4c0fa45bf6eeced6c6a24bf382c3","datavalue":{"value":{"amount":"+0.7586058378219604","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":"Q6041142$6027B3B7-6407-46A5-AB01-25B51378D918","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041142"}}}}}