{"entities":{"Q749519":{"pageid":751368,"ns":120,"title":"Item:Q749519","lastrevid":64130922,"modified":"2026-04-11T17:50:53Z","type":"item","id":"Q749519","labels":{"en":{"language":"en","value":"The logic of \\(\\Pi_ 1\\)-conservativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172947"}},"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":"Q749519$53263D91-17F6-41FF-9D2E-FBA434DE1DFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c54f65433b8872440c821256e1e2d0a31d7a6ca","datavalue":{"value":{"text":"The logic of \\(\\Pi_ 1\\)-conservativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749519$41C54617-FB00-4DBF-B4BC-2D8E3AC9E830","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c063665665c30b36a2d53ce5d28e26fc8c254e33","datavalue":{"value":"0713.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749519$FC3DEFD4-9E20-4321-977A-902E351E30D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d1bbab4456e03efcef6aa8b8f5d7d7b3e2fbd1f","datavalue":{"value":"10.1007/BF01634981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749519$5435F51F-B43D-434F-88B6-9FE30EA39DB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$45BC0AE2-FB9F-4A17-96CB-BCBE6AC9C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$ABC75B2B-24D9-4A23-87CC-0AAF5EE98E9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$605750A7-DF85-477A-9FED-4E51E39EEB82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q749519$186045C1-9957-46EC-8E1E-58BB76CF0D91","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80f6f0dd967982c0fad7ee2b0e81213b67591a2c","datavalue":{"value":"The modal propositional provability logic L (or G) has the following axioms: (L1) tautologies, (L2) \\(\\square (A\\to B)\\to (\\square A\\to \\square B)\\), (L3) \\(\\square A\\to \\square \\square A\\) and (L4) \\(\\square (\\square A\\to A)\\to \\square A\\). Its deduction rules are modus ponens and generalizations (if \\(\\vdash A\\), then \\(\\vdash \\square A)\\). The interpretability logic IL extends the language with the binary modality \\(\\triangleright\\) and has the following extra axioms: (J1) \\(\\square (A\\to B)\\to (A\\triangleright B)\\), (J2) \\((A\\triangleright B \\& B\\triangleright C)\\to (A\\triangleright C)\\), (J3) \\((A\\triangleright C \\& B\\triangleright C)\\to (A\\vee B\\triangleright C)\\), (J4) \\(A\\triangleright B\\to (\\diamondsuit A\\to \\diamondsuit B)\\) and (J5) \\(\\diamondsuit A\\triangleright A\\). ILM (Interpretability Logic with Montagna's principle) results by adding the axiom \\((A\\triangleright B)\\to (A \\& \\square C)\\triangleright (B \\& \\square C).\\)    \\(I\\Sigma_ 1\\) is the fragment of Peano arithmetic with induction restricted to \\(\\Sigma_ 1\\)-formulas. Let \\(T\\supseteq I\\Sigma_ 1\\) be \\(\\Sigma_ 1\\)-sound. An arithmetical p(artial) c(onservativity) interpretation of ILM in T is by definition a mapping * associating with each formula of ILM a sentence of T such that (1) * commutes with the connectives, (2) \\((\\square A)^*:=\\Pr_ T(A^*)\\), where \\(\\Pr_ T\\) is the provability predicate of T, and (3) \\((A\\triangleright B)^*:=(\\forall z\\Pi_ 1\\)-sentence) \\((\\Pr_ T(B^*\\to z)\\to \\Pr_ T(A^*\\to z))\\), i.e., the \\(\\Pi_ 1\\)-consequences of \\(T+A^*\\) include the \\(\\Pi_ 1\\)-consequences of \\(T+B^*.\\)    ILM is sound for arithmetical pc-interpretations, i.e., if ILM\\(\\vdash A\\), then \\(T\\vdash A^*\\) for each *. The authors prove in this paper the following arithmetical completeness theorem. If \\(T\\supseteq I\\Sigma_ 1\\) is \\(\\Sigma_ 1\\)-sound, then ILM is complete with respect to arithmetical pc-interpretations, i.e., if not ILM\\(\\vdash A\\), then there is a pc- interpretation * such that not \\(T\\vdash A^*\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q749519$1CA0A235-939B-4FA1-AD87-6A3228C2D9C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749519$1F3E1670-900E-4298-9BFA-AC6905320F80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c3675715a5db4031180093adae356cc35fd1d09","datavalue":{"value":"4172947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749519$FD74DACA-A342-4519-9D7D-7396AB1330D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40e74f311447a1b775f2b0d02e167527259193d","datavalue":{"value":"modal propositional provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q749519$1EAF8179-7CAC-405E-B833-9E11A715110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1482b4d46e8c56aa4dce9f6c7ba954e8dca8de","datavalue":{"value":"Interpretability Logic with Montagna's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q749519$EC7B2775-DEF4-45DC-AE59-EF35470B7FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b4e3322cb82908b88ae367670e0d8ee43eef88","datavalue":{"value":"fragment of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q749519$D0A294D6-0990-4F19-AFF6-6E3A9C93C9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26934e4be7fe49fbbb274e71fbc68f778a4ea948","datavalue":{"value":"arithmetical pc- interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q749519$18B7DC04-6D58-4DFE-B010-E9114AE036F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0cbb63aa75281c989a466157d16ab703e2df781","datavalue":{"value":"arithmetical completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q749519$5E46992E-E8D1-49AE-81AA-5FD6B393024E","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":"Q749519$68536144-5DF2-4AF7-BDB9-D1BAE89AC926","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed27d0f6cb877ddca3d1133891fdc234a9330a11","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$12794FA2-605F-4F91-AD28-95CA1A5C829E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b409b75899274128eb741092df9c3a83f6b66","datavalue":{"value":{"entity-type":"item","numeric-id":3206949,"id":"Q3206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$0B58E024-2EDC-49F1-AF12-64A604BDC1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$E2CD9859-ED0D-442B-8599-992D53394971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3f3d70a5569a188142f8ceb430c261be789be4","datavalue":{"value":{"entity-type":"item","numeric-id":5638320,"id":"Q5638320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$1FE3285E-ED1F-4876-BE7E-138A6F9FE8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f918793bb67569c1c459283b853ae5a4921ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3835452,"id":"Q3835452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$FFEC87F1-B42E-4BF9-AFE9-2433E63FD82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d50a6440eaa1049510fa09b2cfcd0990921ddc","datavalue":{"value":{"entity-type":"item","numeric-id":3481685,"id":"Q3481685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$62DE9C7E-8DAC-4A34-9222-A3FA9D2C8CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$F4433860-6E96-4A72-ADAD-2A4654CDB2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$CA35F9E4-5CEC-4A69-8CA4-E4B6DB4523BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$F05D8E2A-913A-47DF-9E17-7DFC6AA76B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63cdbd83b7f46d74372c8e13aa2d33751bfa018","datavalue":{"value":{"entity-type":"item","numeric-id":3331198,"id":"Q3331198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749519$D871C469-C71D-43BF-8E8E-F38073C5CBB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc2cd620953df83d82122bc2cdc77792c3a85bc8","datavalue":{"value":"https://doi.org/10.1007/bf01634981","type":"string"},"datatype":"url"},"type":"statement","id":"Q749519$894A42D0-D135-4707-B00D-D66EC90766D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"375f74481dca73f3791becf48493fd6b98ce7c59","datavalue":{"value":"W1993283072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749519$76375FE1-54A5-4790-92C3-0D115DDFA64E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6ea8784d7a13838d3a3bcbc6a80b74225c4203","datavalue":{"value":{"entity-type":"item","numeric-id":1893136,"id":"Q1893136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5ce4287bba2b84a002c5303dc8ca931d048bea","datavalue":{"value":{"amount":"+0.8980985283851624","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":"Q749519$5CAD6939-8D25-4B31-BAE9-1E35D97812AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c6de12f3c1c4cc9421371011a76dabe9bc51b4","datavalue":{"value":{"amount":"+0.8965088725090027","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":"Q749519$0CF7BD99-029B-491A-A4AC-B1B94655BF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f340e332e52ac5b02403eec2b0c05f8e2da6475","datavalue":{"value":{"amount":"+0.8896012902259827","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":"Q749519$24BD8723-D61B-434A-A57F-E765CFF069CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a9578da003ddebfcf4999c731eae925ada4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948517,"id":"Q4948517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b3022238d5e579b3e2d97095772f0864e1017b","datavalue":{"value":{"amount":"+0.8884307742118835","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":"Q749519$A6175FA3-2F69-479E-9F40-94D14DE53151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7808827ea3f3a6d41ce6ed3f9aa1249b66feef18","datavalue":{"value":{"entity-type":"item","numeric-id":1311428,"id":"Q1311428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb958c5090be59937d3bec61bbf61723990b606","datavalue":{"value":{"amount":"+0.8727346658706665","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":"Q749519$E4823279-0016-4D41-835A-CD1448A4F060","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The logic of \\(\\Pi 1\\)-conservativity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_logic_of_%5C(%5CPi_1%5C)-conservativity"}}}}}