{"entities":{"Q688510":{"pageid":690359,"ns":120,"title":"Item:Q688510","lastrevid":63731652,"modified":"2026-04-11T15:10:06Z","type":"item","id":"Q688510","labels":{"en":{"language":"en","value":"The unprovability of small inconsistency. A study of local and global interpretability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444896"}},"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":"Q688510$87BCD75A-F243-4B6B-98D4-B67AE31B3484","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d9ae645b2f1441c1bf03aa2d9b7c474d4d787f5","datavalue":{"value":{"text":"The unprovability of small inconsistency. A study of local and global interpretability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688510$C284FA77-F9CE-458F-A9EF-B3DC12A22FC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"654900946e37712a6fb5d1efa3fa89add5804f72","datavalue":{"value":"0795.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688510$34904A19-95C2-4988-A531-E6B3180AE47E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2575402e989e18bf53ab9aa2d052a7b8b4ee6efc","datavalue":{"value":"10.1007/BF01387407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688510$B21E1920-B673-4E3E-89A5-E136E6A4DE91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688510$D33B8666-05DB-4614-B542-76D596D50241","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":"Q688510$BDA27E9F-2E58-4B61-94BD-BABE0BB44274","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ab279b130be828e6561f0e8c2345f71e46791e","datavalue":{"value":{"time":"+1993-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688510$A0E7AA12-3798-4C6C-B0F0-1C796F956A41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f5f103f3427f9ffe2110a19fca9517cfda25e545","datavalue":{"value":"Some consistent theories, like PA+incon(PA), prove a sentence expressing their own inconsistency. Of course, (the G\u00f6del number of) such a proof must be large, for otherwise the theory must be, indeed, inconsistent. The author shows that a consistent, finitely axiomatized, sequential theory cannot prove its own inconsistency in few steps, in the sense that there is a definable cut that does not contain any inconsistency proof. This follows from the main result (which the author labels the Tunneling Theorem) that relates one cut to another. [Here, a theory is called sequential if it can handle finite sequences adequately; and a cut is, by definition, an initial segment closed under a mild form of exponentiation.] Another theme of this paper is the interpretability of one theory, \\(V\\), into another, \\(U\\). When the set of axioms of \\(V\\), \\(\\alpha_ V\\), is infinite, proofs in \\(U\\) of \\(I(\\alpha_ V)\\) -- interpretations of \\(\\alpha_ V\\) -- may become unbounded. So, one considers a local interpretability that requires \\(I(\\alpha_ V\\restriction x)\\) for each \\(x\\), as well as a global one \\(I(\\alpha_ V)\\). Let \\(\\| V\\|\\) be the global degree of \\(V\\) (i.e. the class of theories mutually interpretable with \\(V\\), globally), and let \\(\\text{LOC}(U)=\\{\\| V\\|/\\) \\(V\\) and \\(U\\) are mutually interpretable locally\\}. For a sequential, finitely axiomatized theory \\(U\\), the author exhibits maximal elements of \\(\\text{LOC}(U)\\), and shows that \\(\\| U\\|\\) is not maximal (previously shown by Pudlak) and that \\(\\text{LOC}(U)\\) has at least three elements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688510$F524AFDE-1AA6-470F-B02D-98D238D72DFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688510$03C9440B-6005-4B70-BDB1-2AC8F6AE9888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688510$27214845-FA6B-4D9D-BD0B-C45A07823E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688510$A99A03E3-8C9C-4B34-A706-373ECBC8ADB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20b7b846e136bdce6dad501ff6e66a195100aaf5","datavalue":{"value":"444896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688510$02C91B3B-B408-48AA-B53A-B011CFE28B5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148cbec86e681f0f3a624bd824528138b3e8a622","datavalue":{"value":"length of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q688510$5702D7B0-F55E-43E0-87A1-D8BDA480AD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8da3387d032118a89cf8a2e7a89fc70496202","datavalue":{"value":"sequential theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q688510$6AFC4119-178C-483E-8983-98E50F3EF067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q688510$450E4250-2732-410C-BBBD-54C96BBF2215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d235021a7e0db9d0e3a0f3e64a274ae1edb49d7","datavalue":{"value":"Tunneling Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q688510$08A6FB9F-AFB4-4234-9B42-7564A56814AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q688510$0CF6F8DC-0148-48A5-801C-D534C4F3693E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad77820b7fc7a6d6bd04465243a28484d64d5cb4","datavalue":{"value":"finitely axiomatized theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q688510$52472752-6052-4F15-8F26-F7252CF62F22","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":"Q688510$A3549FDB-0779-4180-8385-88E3F31D707E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688510$7E40C8C5-B0D1-40F5-9957-EDE7F6ACDD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688510$BEA4A19D-920E-4F86-BE7D-1ED740BFD828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf6ff8d0d80d56f825921b152f0aadcb4b3b18","datavalue":{"value":{"entity-type":"item","numeric-id":3770530,"id":"Q3770530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688510$25BB4666-5F0F-4B06-B6A5-E54159E98965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688510$5DE52371-12E5-4936-8E5C-D339529D73D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688510$12E0FF18-F087-40BA-9523-C1F6EC1E515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4770a89519406c6a3b1e5f5c3061068c7c3cee5c","datavalue":{"value":{"entity-type":"item","numeric-id":5184891,"id":"Q5184891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688510$41ACD52C-A962-4248-950A-2951D49AF683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688510$69A3875F-B7DE-42DD-BD8C-B103622300E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688510$5A32E3D2-11F4-445F-A298-0EF563489385","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9657f9270ceff05d04eebefcf3c419756d1a7b66","datavalue":{"value":{"entity-type":"item","numeric-id":3770530,"id":"Q3770530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba3ec5974e7f5c702bf97e54f8b3cd6c3274119","datavalue":{"value":{"amount":"+0.7586507797241211","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":"Q688510$9BF88D33-2B91-4366-9AF6-A90BBCC7F8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba722aa68f9ec7dbc41fb0271522f1cc5f273667","datavalue":{"value":{"entity-type":"item","numeric-id":3741624,"id":"Q3741624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1484e8c0a2357f8878affcc1e45ed64d2d365a","datavalue":{"value":{"amount":"+0.7422921657562256","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":"Q688510$4AFEF657-06EC-415F-9AB6-DB7FCA6BC26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388764d1dd686f8a74d5c9ad5f8d94f2f48037bb","datavalue":{"value":{"entity-type":"item","numeric-id":2176406,"id":"Q2176406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbd0b9c2ed50ddbd04a657e922ad14dd35d3e98","datavalue":{"value":{"amount":"+0.7391922473907471","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":"Q688510$1F2C31D6-952B-4789-9B86-275AA85F2B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e61e053d32143d7fac683405d129ebf131ccdd99","datavalue":{"value":{"entity-type":"item","numeric-id":3094141,"id":"Q3094141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdbe1e568ae5d15348f9dc7cb02dc38dc7867a29","datavalue":{"value":{"amount":"+0.7376980185508728","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":"Q688510$0CCBB662-43CD-437E-8F1C-935F4385FC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524e84b423c3797a39985bd11e5e1218a79750a3","datavalue":{"value":{"entity-type":"item","numeric-id":1095138,"id":"Q1095138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9671644d0619d88606fc4ae193a58d3bbeb71e","datavalue":{"value":{"amount":"+0.7341882586479187","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":"Q688510$912A6587-1AF1-46FA-8D53-A9EA25D2B60A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The unprovability of small inconsistency. A study of local and global interpretability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_unprovability_of_small_inconsistency._A_study_of_local_and_global_interpretability"}}}}}