{"entities":{"Q424545":{"pageid":426312,"ns":120,"title":"Item:Q424545","lastrevid":61770048,"modified":"2026-04-11T01:32:39Z","type":"item","id":"Q424545","labels":{"en":{"language":"en","value":"On bounded functional interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040330"}},"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":"Q424545$4C347521-4EE7-4E0E-A297-B8B8976895C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"998d7eb199dc5fd87b166453f8947bd6c5f84a12","datavalue":{"value":{"text":"On bounded functional interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q424545$83C6B5AC-4A08-4AEC-877C-B3B8ECF23927","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5b518515e2bbf66de05e24ceded95c9b33ab064","datavalue":{"value":"1251.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424545$53F17537-2473-45D1-936F-2C1A5AA2FF9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424545$BD502D85-D91B-4F29-B4E1-BE0AB46C4849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424545$7B8AF64C-C889-4978-944A-BF2DC0EB5092","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":"Q424545$CC0DCB1C-348D-4156-A718-9BC1921ED0A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-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":"Q424545$DCBF2055-EC80-4DC6-86B5-56FF2312133F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"16113f92b223c2e138979b54dd132faf2cbea555","datavalue":{"value":{"entity-type":"item","numeric-id":361871,"id":"Q361871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424545$37561AAE-6303-45E2-961A-07DB74D00FDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424545$9BBE3F32-1DA1-4B07-85B7-CE61BDBDFB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424545$9AEDE16A-DB5C-417F-9E18-96DC80CD1959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424545$68DDF12C-DB6A-4C96-92E9-3AD66F25EACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424545$3D211064-8F81-4F71-91F2-7F8B7CFACAC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d588e016990abd4a91d1d5bc0bd6ec7abd8b0bcf","datavalue":{"value":"6040330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424545$20B5ECA0-67E6-4252-B2C9-DB59C5963C91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q424545$6A00967B-0C14-4117-91D7-D2FA42520367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q424545$411B91CF-CF26-4EAD-981B-FC0849009315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb58ba5752a1d99ae68b4e57455f49ff31e8ee97","datavalue":{"value":"majorizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q424545$B0978B73-C03E-486E-BBE2-34B0BBCB5A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q424545$3B8AC0FC-D182-43C1-B487-3E929308A4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q424545$7ABB44C2-503E-46FE-89CC-54B36D642F9D","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":"Q424545$F8F594E1-905A-4BDC-A42E-448D35573FDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"109a83b771e71f115a34c761a72c58dc561d333a","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.12.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q424545$D606EEBF-6636-424F-8110-8A9F7E9A0AE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48f91443963e7c6984c68f36c169c55ecc7c331a","datavalue":{"value":"W2106076660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424545$36F9D8EA-F27E-4B33-8215-F79E2B80E413","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424545$236C9132-CF6F-4046-8101-704836E1D2A0","rank":"normal"},{"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":"Q424545$1B621894-8BD3-40AF-81A0-DCE9B8F8E9F4","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":"Q424545$041E90E3-BCD6-470D-B25F-4F241755B443","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":"Q424545$1C79D0CF-805A-48EC-AE89-2EF48192A660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2000842876528f5e6c6fad6008888472a77f5c4","datavalue":{"value":{"entity-type":"item","numeric-id":866559,"id":"Q866559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424545$B7AA3AA9-DE6D-48B1-8DC9-84645247527F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd25e2c234ae7062249318950dd6f0094954f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5902221,"id":"Q5902221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424545$CE602455-6B5E-4863-A74A-0C2D5FDC6B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d32dbd7b49271fceef4a09517e6d1a1601600a6","datavalue":{"value":{"entity-type":"item","numeric-id":3406445,"id":"Q3406445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424545$3C26A64E-C585-4A21-BD82-BA6625B41DED","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":"Q424545$731DB10D-5756-4954-BA0D-A7A2AEE99F18","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":"Q424545$F29A8D01-C34D-419B-BFA4-C7382CEDE669","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":"Q424545$21897D25-2885-4F2D-A4BD-B898455E8650","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":"Q424545$7DB7F078-3DD3-4CEB-B825-F19AE20F5633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db251df2140865bbb235d8e63865017aa063ce2","datavalue":{"value":{"entity-type":"item","numeric-id":964504,"id":"Q964504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424545$E1CC0730-CF69-4217-A260-48B45E7375C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dde7468810281b2e3a8ed9326757d9cbc25aaa4","datavalue":{"value":"10.1016/J.APAL.2011.12.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424545$FC4C6610-E04B-4897-96FE-847C6F2723DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"734baa8b61f9b213199be7c5e7a27665b3a5784f","datavalue":{"value":"Functional interpretations are powerful tools in mathematical logic with many applications, among them witnessing existential statements. The first class of functional interpretations provided precise witnesses for existential statements. A second class of functional interpretations provided bounds for existential statements by changing the target from precise witnesses to bounds in a last step. A third class of functional interpretations, called bounded functional interpretations, provided also bounds but targeting bounds from the first step.NEWLINENEWLINEPaulo Oliva, joined by Gilda Ferreira, has pursued a unification program: to show that different functional interpretations are instances of a parametrized functional interpretation. The first class of unifications took place in the context of the usual intuitionistic logic. A second class of unifications changed the context to classical linear logic. Then a third class of unifications changed the context to intuitionistic linear logic.NEWLINENEWLINEThis being said, now we can easily describe the article in question: It presents a unification in the context of intuitionistic linear logic of bounded functional interpretations. More extensively, the article: {\\parindent=6mm \\begin{itemize}\\item[(1)] presents parametrized functional interpretations of the usual intuitionistic logic and of intuitionistic linear logic; \\item[(2)] shows that the two parametrized functional interpretations are the same modulo embedding one logic in the other; \\item[(3)] proves the soundness theorem / adequacy lemma for the parametrized functional interpretations; \\item[(4)] shows that the parametrized functional interpretations instantiate into three bounded functional interpretations, namely the (simply called) bounded functional interpretation, the bounded modified realizability and the confined modified realizability; \\item[(5)] sheds light on the comparison of the bounded functional interpretations by making clear in the parametrized functional interpretations what they have in common and in what they differ.NEWLINENEWLINE\\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q424545$D4700FEE-404F-4AB7-ADF1-DA8A0C7A5A01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78060097943999012c70895f22edd7724bc6dd1e","datavalue":{"value":{"entity-type":"item","numeric-id":964504,"id":"Q964504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa79d693afc13a666d9f6ad97c71bf3bba6073ca","datavalue":{"value":{"amount":"+0.8459305763244629","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":"Q424545$E4111212-F4D9-4999-8F81-41CBFB8D6BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d1e9c0a080c153c586e96cb99e1cdd85a0c48c","datavalue":{"value":{"entity-type":"item","numeric-id":867407,"id":"Q867407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1556d4ed45ad0b360297cf95979aea436e5b8032","datavalue":{"value":{"amount":"+0.8267993330955505","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":"Q424545$B7F76D11-061C-44C4-BED4-722918FB8CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a74d6d0f5bb5f6c5f1c96593038079bc35852d","datavalue":{"value":{"amount":"+0.8265748023986816","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":"Q424545$A4FD82FD-CE3F-46E5-8CF9-DE7354926E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5037fbcf3c934c580aaae9e80542e49e2fd71f8e","datavalue":{"value":{"entity-type":"item","numeric-id":5004949,"id":"Q5004949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7500c3543665da11bc5fee256a19cb74ab2629","datavalue":{"value":{"amount":"+0.8221008777618408","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":"Q424545$EC56A745-3CC9-4D37-B07E-D7B9674B8FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c46ad00f1cee12a6f63e5cad0267900c88bf3f6","datavalue":{"value":{"entity-type":"item","numeric-id":2882562,"id":"Q2882562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c2ba1fbc6c6e13cc420770b57a578d172072da","datavalue":{"value":{"amount":"+0.8053283095359802","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":"Q424545$A83C67C2-68D5-400C-A2A6-8D5A50D7E9C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On bounded functional interpretations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_bounded_functional_interpretations"}}}}}