{"entities":{"Q867400":{"pageid":869248,"ns":120,"title":"Item:Q867400","lastrevid":77823755,"modified":"2026-05-06T10:08:18Z","type":"item","id":"Q867400","labels":{"en":{"language":"en","value":"Interpolation and the interpretability logic of PA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5127267"}},"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":"Q867400$7029DE6F-AA1B-4377-9A3E-AB741D75FDF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4235ad1e6bfb66a63c1cfd39a177e3e6404c7c67","datavalue":{"value":{"text":"Interpolation and the interpretability logic of PA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q867400$21A014BB-68B4-4FA5-B3FD-C5613039BEF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07e1cc263971cd2b6e55c6c95abbb3f32e92c167","datavalue":{"value":"1114.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867400$B28F1E93-257F-4D58-A704-970BF77A4ED8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2276ddb76dea48fbdc911cd5585d15c440430f83","datavalue":{"value":{"entity-type":"item","numeric-id":636277,"id":"Q636277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867400$C32ADBA4-005C-410E-97B4-C506E6DCF520","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867400$69335D3D-7EAC-4D11-8B8B-463E62087615","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b3ead6168ee7e4a65e07f7e44713ef795f1233","datavalue":{"value":{"time":"+2007-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q867400$7FA1809A-B856-4C86-BB63-E8DAEF6DFEE6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d89c8ad6fd47feceb13f6d8c1013cff9b7cbf71b","datavalue":{"value":"The interpretability logic is a nonstandard modal logic which describes the relation of relative interpretability between arithmetical theories like \\(T+A\\) and \\(T+B,\\) where \\(A\\) and \\(B\\) are formulas (for detailed definitions see, e.g., [\\textit{A. Visser}, ``An overview of interpretability logic'', in: M. Kracht et al. (eds.), Advances in modal logic. Vol. 1. CSLI Lect. Notes 87, 307--359 (1998; Zbl 0915.03020)] or [\\textit{D. de Jongh} and \\textit{G. Japaridze}, ``The logic of provability'', in: S. R. Buss (ed.), Handbook of proof theory, 475--546 (1998; Zbl 0915.03019]).   The modal system ILM is the interpretability logic of Peano arithmetic. This system does not have the interpolation property. For this reason the author considers an extensions of the system ILM by an additional operator for \\(\\Sigma_1\\)-ness. An axiomatization for this extension is given (the system ILM(S)). The author proved modal and arithmetical completeness of the system ILM(S) in an earlier paper. The main result of the paper under review is that the system ILM(S) does not have the interpolation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q867400$11213771-AA9B-425F-A441-BF73F71D3DEE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867400$3BDDCB52-F409-4593-AB3D-F0FC349B6256","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867400$9C91AFAC-FF0F-4A46-A114-6BDB462000CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867400$C492DC39-73BC-45C6-9B38-559F4DFB5B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867400$F5ED0FF5-A969-4C07-A367-76838993F105","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a9170c8abfd9d910cbd23162b2df6f55559db02","datavalue":{"value":"5127267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867400$2C066848-E835-4ACB-A59A-5F0F10996E3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q867400$CE81881D-786F-4E9E-A25F-F22B50603523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q867400$ECDB4319-64DE-4452-A984-721E584A826E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q867400$DCFDDCC8-33AB-430D-9F3C-58F8D27995E1","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":"Q867400$776DB796-9A8F-4E5B-A2CB-59676E446C24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3523a4a9b3cd42e67ba37e19ef042265b6d6fa2","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1153858645","type":"string"},"datatype":"url"},"type":"statement","id":"Q867400$5086A85F-90F0-42F1-BEF2-E212E613A79B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"717bbaef8b658ced6d5cc514b6b7f289f8b57a52","datavalue":{"value":"W1975821687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867400$0AF8624C-D89E-4F80-B23B-46443EBBA045","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd919cf3c53414b2babaa733b66cac9318e9cb84","datavalue":{"value":"10.1305/NDJFL/1153858645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867400$D3CC7542-0EC4-46E3-B93D-EDFC90F50D5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a95a7a312638f6083a96031fa9cf55fb684d65","datavalue":{"value":{"entity-type":"item","numeric-id":4329232,"id":"Q4329232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1346bb2d579a5a830781722fbfae11dc722eac5","datavalue":{"value":{"amount":"+0.8624566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$9E3DDFA7-ED6D-4EAB-85F0-4A4918F46A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1387c15572a7a386c5e4ce263a6c49052b9d3030","datavalue":{"value":{"entity-type":"item","numeric-id":3982061,"id":"Q3982061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0f1941e76eb3762e01794cadbeccb620003a20","datavalue":{"value":{"amount":"+0.8543446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$FA4F46FB-F023-4A49-9E72-4C4F5C3281FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcec873393f1bcc72f48169e49c07f16a40f3c10","datavalue":{"value":{"entity-type":"item","numeric-id":5899096,"id":"Q5899096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a877106e468aa89824728a22712f61cdf04e3796","datavalue":{"value":{"amount":"+0.8528478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$545309C4-B9E1-42A5-B3F2-B330645C1ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78829c21b4f9e3193e0fa304034a7fab0cd1144c","datavalue":{"value":{"entity-type":"item","numeric-id":1006639,"id":"Q1006639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a877106e468aa89824728a22712f61cdf04e3796","datavalue":{"value":{"amount":"+0.8528478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$5684B81E-AFDB-497E-85AA-72DEEADDDC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc70ce0a84f2f78529137a4e102630e245ab48c4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f260d4bd91f9b1b3530eb6e3bab26fa8962f301a","datavalue":{"value":{"amount":"+0.8526676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$C222711E-3FEC-4A60-AB22-96D634D42A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df7f192dad680c0045399cb9ca3b85d5e2c7823","datavalue":{"value":{"entity-type":"item","numeric-id":4250364,"id":"Q4250364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f33832a1d162bbcea2e0be80eb9eeb74d583597","datavalue":{"value":{"amount":"+0.8518548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$FFF54CAD-CF15-4625-B029-FC6E5318331E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c806d8fc63d543eb7c28f819417eb917ee9354","datavalue":{"value":{"entity-type":"item","numeric-id":4787878,"id":"Q4787878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086384405d79f6cbd95cefb45b1961e52db301bd","datavalue":{"value":{"amount":"+0.8511323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$CDFF343C-2F85-48AE-B99E-F0A88431C057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29f1ea0d1877e5c2b9de1968e56034687845ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4635819,"id":"Q4635819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522427c822acdc540b0c1e846a7ccb4c1c1cc733","datavalue":{"value":{"amount":"+0.848952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$88F363F5-B600-4DF8-8144-64FE8E1FA671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8426845b132493d2bfbeaa0ac5ac3e5981c6b209","datavalue":{"value":{"entity-type":"item","numeric-id":4612438,"id":"Q4612438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247bfa722085f612c669f0c5fb0cacabce556cb7","datavalue":{"value":{"amount":"+0.8482457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$3046934F-E264-4174-B825-8E0D7865EE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd29ab08c41b3b55cf2da3860391223c62f2e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2186699,"id":"Q2186699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d57081c6ddc75e37f45999e7bc984bd8f338ee7","datavalue":{"value":{"amount":"+0.848088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867400$36F0E0F1-E387-4F10-A16A-FEA961869D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation and the interpretability logic of PA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_and_the_interpretability_logic_of_PA"}}}}}