{"entities":{"Q2453069":{"pageid":2463812,"ns":120,"title":"Item:Q2453069","lastrevid":52010777,"modified":"2026-01-20T18:12:39Z","type":"item","id":"Q2453069","labels":{"en":{"language":"en","value":"Local induction and provably total computable functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301454"}},"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":"Q2453069$E31D7C66-CB07-4BF9-BDF2-28EBCAE809A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"263fda2a05548e387ac8467f17f45b51c91c466b","datavalue":{"value":{"text":"Local induction and provably total computable functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453069$36E89A06-2D9A-4A95-AE7A-5B20DD781DAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fe665122554150445a66aa470ba8612620b6e84","datavalue":{"value":"1316.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453069$AACFA6AC-1B1E-4BFF-8A52-19546FCFF958","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8239ea47cb0ba00aa3274a8e46ceb44b8cb6bddb","datavalue":{"value":{"entity-type":"item","numeric-id":701733,"id":"Q701733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$97D485E9-344E-480D-AD69-9757609D67BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a42ea086f4d35529a6cd304553c7e89c3f56fb8","datavalue":{"value":{"entity-type":"item","numeric-id":391144,"id":"Q391144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$F6F3544D-C712-4C40-9197-FE6ACDC42672","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":"Q2453069$9AFA98F3-1D16-4327-87A0-6DE8387D98F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f3fbc447f1c390e2d7e7b93294821ab0240de3","datavalue":{"value":{"time":"+2014-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453069$2B5CBF60-2404-4FC1-B594-7E7D1D8AAD8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3b72a98d9616a7b65036e08cdbb619b9d1940c4","datavalue":{"value":"The paper gives an answer to Kaye's question about the class of provably total computable functions of \\(I \\Pi ^{-}_{2}\\) (i.e., the fragment of Peano arithmetic obtained by restricting the induction scheme to parameter free \\(\\Pi _{2}\\) formulas). This has been answered already by \\textit{L. D. Beklemishev} [Theor. Comput. Sci. 224, No. 1--2, 13--33 (1999; Zbl 0930.03082)] who showed that this is precisely the class of primitive recursive functions. His proof needed the metamathematical machinery (reflection principle, provability logic etc.). The proof given in the paper under review is more direct -- an analysis of certain local variants of induction principle closely related to \\(I \\Pi ^{-}_{2}\\) is used. The methods are in fact model-theoretic and allow for a general study of \\(I \\Pi ^{-}_{n+1}\\) for all \\(n \\geq 0\\). In particular, a new conservation result for these theories, namely that \\(I \\Pi ^{-}_{n+1}\\) is \\(\\Pi_{n+2}\\)-conservative over \\(I \\Sigma_{n}\\) for each \\(n \\geq 1\\) is derived.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453069$4CBB870E-57E7-4B25-BAF9-97C9329A0575","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$DB20F2AE-2E06-4470-B577-95A51FC3B467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453069$350B31CC-8F13-49F0-A437-519773109CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453069$B28441E8-A9BC-4D63-B55D-E49E8F3F21F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453069$F508BF2E-3E62-4A28-98C0-E0F1DC5EDAB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc9dc59236dfc3d33b4faff1c37c1efcc1a83410","datavalue":{"value":"6301454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453069$EBBD4108-0E21-45B0-AA17-8F596F9CA6B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453069$70F65C70-3EA4-4C83-9ADF-5D77FEC38C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d83c0141a374ed2e054ebffd40fdcc576c0dab7","datavalue":{"value":"conservation results","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453069$602A8F77-06F7-488B-9490-260A4B8B1A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c3e21fbf777c950d2ee348a00ae85aeeefe680","datavalue":{"value":"parameter-free induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453069$A98DB28E-C4AA-4403-AAAA-F5706B8EE37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453069$F4F5932F-535E-4039-864D-3FE4A92C8DA2","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":"Q2453069$7ADC2B1C-9D9E-4DE9-8A32-E047C6B46F27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03a25a6d7abc9d1f364f5da75eb2abf160405fab","datavalue":{"value":"https://doi.org/10.1016/j.apal.2014.04.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453069$C9AD97D9-70A7-4C75-B59A-C383FA0C36D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90f4f04636bea34a673cd989a469813769d0fb19","datavalue":{"value":"W1999275823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453069$5819275F-26C3-41B2-9CDB-6D607F50BD25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb47999908d254e4121198a94fbfb1e4ccaffed","datavalue":{"value":{"entity-type":"item","numeric-id":1861531,"id":"Q1861531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$3B5E10D8-CC0B-43BA-8D0E-65BC19C6D241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$CE0E1289-D645-4C9B-A792-868AF99198AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d640f99df8711dfe677d32555a8bcdd9bf6d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":1267837,"id":"Q1267837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$19286621-E594-47C0-917F-FFEBE7D8F8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e184b5d53c987e50d2f8a9ef672ffe45b79d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$DB932CB1-B723-4FDD-B9F3-A8C52D206438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d204b14fff0f1434758e3ae2af5feb2ef0faec34","datavalue":{"value":{"entity-type":"item","numeric-id":4325772,"id":"Q4325772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$91C03F11-E87B-4404-8CED-488BE9EBB640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8634365d8d5ca04499c35066e0e80a821aa9411e","datavalue":{"value":{"entity-type":"item","numeric-id":3172123,"id":"Q3172123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$3A2CE785-33DE-4CA8-BE33-492016BB5A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6310d04309fee2d820cfca903d44c6a729cd9bea","datavalue":{"value":{"entity-type":"item","numeric-id":701746,"id":"Q701746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$E640C74A-13F2-4D13-A3A1-92373DF2ED97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$E90AFE10-C91A-4FBB-89C2-65A5D7865176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$9B7CE2F8-FD78-4083-811E-FC8ECFF509D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7529dfecc70cdc3228ff2876434c8e683d8ad49a","datavalue":{"value":{"entity-type":"item","numeric-id":5899843,"id":"Q5899843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$020FF00F-8838-4BA6-AFF5-A8B4CB85C8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$94E31BD2-5DAB-4FB3-9B7E-57039EC05F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb5aa102ce6c71274c34a5360472cea903ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$07CE828E-D8A6-4CFC-A2A2-C2A99DFD73A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453069$3933A1C6-41E0-4700-AE31-376149C6BF91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbd1f9ec06a999ccf3006b086b8db76b75dec536","datavalue":{"value":"10.1016/J.APAL.2014.04.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453069$FD513283-4C00-4E91-B58D-5C878B6655A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ce05918838b03f47532d0f8124d680cf43bfc1","datavalue":{"value":{"entity-type":"item","numeric-id":2904439,"id":"Q2904439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec9f15807fc9bc35b3fa2557576e89f186955d3","datavalue":{"value":{"amount":"+0.9385699033737184","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":"Q2453069$A962E926-2F0A-4598-A7C6-70BC7F185A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434fbee7e80928919a731924aa3e402f924a291e","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97987546c2a80e6a484136e97eb6db088b74fb6","datavalue":{"value":{"amount":"+0.8865372538566589","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":"Q2453069$8F2788A1-EAD6-4480-B12A-F5D216BC5602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc66354fc9341bc0222897386454e4aa66f469e","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97987546c2a80e6a484136e97eb6db088b74fb6","datavalue":{"value":{"amount":"+0.8865372538566589","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":"Q2453069$AE99ADEA-4893-4167-BA4A-174D96D8674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442ac36bb417514e27cd9ff039b47e32d6b5fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":5311268,"id":"Q5311268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047bb6268e9072e1cb334088b366668a2a86d5bd","datavalue":{"value":{"amount":"+0.8274780511856079","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":"Q2453069$8392A8A8-87CC-4F36-93C2-D9FB29AAF12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e36f70b84794a2c7ec4c82890ab12cd4eca76e8","datavalue":{"value":{"entity-type":"item","numeric-id":5899843,"id":"Q5899843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cde2462060a109de5fec26b96c955a15f2fcf8","datavalue":{"value":{"amount":"+0.7906363606452942","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":"Q2453069$03BF2700-DF19-4532-8B00-912CBE2AA6DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453069"}}}}}