{"entities":{"Q2566065":{"pageid":2576808,"ns":120,"title":"Item:Q2566065","lastrevid":48554299,"modified":"2026-01-05T05:07:14Z","type":"item","id":"Q2566065","labels":{"en":{"language":"en","value":"On the limit existence principles in elementary arithmetic and \\(\\varSigma_{n}^{0}\\)-consequences of theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207221"}},"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":"Q2566065$D4CD2F40-A2DF-47B8-A478-025E48FDE917","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34153a317a5ece87ffb1b92696821dd74b964e86","datavalue":{"value":{"text":"On the limit existence principles in elementary arithmetic and \\(\\varSigma_{n}^{0}\\)-consequences of theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566065$0DCEFDC9-8617-4998-B35C-6DD60B823922","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bf9ab6aa46a871922b82dd88c9f2143e223f3bc","datavalue":{"value":"1087.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566065$086190C4-D811-4B0F-BA3D-6E6429E9028A","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":"Q2566065$B78994A4-78FF-4300-BD17-A70304CB0AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$29BCEE75-A8D9-44FA-BC57-8DCD7BC11D2E","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":"Q2566065$949C6A79-018C-4933-987C-4A15507FD00B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566065$C66BBE9B-9C55-414E-8FE8-8E3FA28D0C7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7323d8ba5ab0935997e1f46f5afc727c1b59da1d","datavalue":{"value":"This highly technical paper, written by the two top superstars of the field, consists of two independent parts.   In the first part (Sections~1--4) the axiom schema (Lim) asserting that any eventually descending elementary function has a limit and its corresponding rule (LimR) are studied. The schema appears in Solovay's completeness theorem (for Solovay functions). In Section~2 it is shown, among other results, that Lim axiomatizes I\\(\\Sigma_1^-\\), the parameter-free \\(\\Sigma_1\\)-induction over Elementary Arithmetic EA. In Section~3 it is shown that the closure of EA under LimR is contained in I\\(\\Pi_1^-\\), the parameter-free \\(\\Pi_1\\)-induction, and also any instance of I\\(\\Pi_1^-\\) is provable by one application of LimR over EA; and the rest of the section is devoted to the proof of the interesting fact that EA+LimR axiomatizes the \\(\\Sigma_2\\)-consequences of I\\(\\Sigma_1\\). In Section~4 the theorem of Berarducci-Shavrukov-H\u00e1jek-Montagna, that ILM is the \\(\\Pi_1\\)-conservativity logic of theories extending I\\(\\Sigma_1\\), is improved to theories extending I\\(\\Pi_1^-\\); the proof assumes familiarity with the notation of [\\textit{G. Japaridze} and \\textit{D. de Jongh}, ``The logic of provability'', in: S. R. Buss (ed.), Handbook of proof theory. Amsterdam: Elsevier. Stud. Logic Found. Math. 137, 475--546 (1998; Zbl 0915.03019)], especially its Theorem 14.2. Next, the authors, by adapting a theorem of D. Zambella and G. Mints, show that the bound I\\(\\Pi_1\\) cannot be much improved: the logic of \\(\\Pi_1\\)-conservativity of PRA extends ILM properly.   In the second part (Section~5) an ordinal classification of \\(\\Sigma_n\\)-consequences of standard fragments of PA, based on iterated reflection principles of a special kind, is given. The proofs are largely based on the ideas of [\\textit{L. D. Beklemishev}, ``Proof-theoretic analysis by iterated reflection'', Arch. Math. Logic 42, No. 6, 515--552 (2003; Zbl 1026.03041)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566065$B945DDDD-37A5-493C-90F2-9A50D75E0613","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$5BB69679-F824-433A-92E9-A5A8119DCEAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566065$68C568C9-99C4-4F0E-BC10-2AD945611156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566065$2C4E4DA3-56C4-436F-B35C-D400EACAFD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566065$EDE784E6-6EA8-4256-9C7C-61943271F530","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97b0697b5934b6ac4fd218f960dfc497bc7084bc","datavalue":{"value":"2207221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566065$BC67468D-4256-4583-8DCE-1B1DBE7788FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170f7053c2aac6d440efc0b375d8fe2cb96b4785","datavalue":{"value":"elementary arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566065$FC3C54E3-F156-4673-AFF5-B9842F3B44CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c3e21fbf777c950d2ee348a00ae85aeeefe680","datavalue":{"value":"parameter-free induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566065$E585F444-8ECD-4FA0-AF8C-9EC181F69D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566065$7DEFF9E9-F598-4647-A7B9-DF8B83875FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566065$9A0CFDE9-0649-45E1-9275-4937947A0E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566065$37CD86F5-722B-43FC-91DD-88347519F15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566065$89C3F3DE-3942-4846-89F5-F28082238791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566065$B203FDB1-7902-4122-81A3-F48055B1627F","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":"Q2566065$FEDCB513-DAA2-489F-907F-D4C6F0A72DC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7be1c142a76e72378fbfae1d8fe90fadc1728fbb","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566065$3A75B952-B5B5-4F38-93FF-C1F4E36BF176","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97c63b78c15463f225ccc2ce3a67f0cf52fd4ab1","datavalue":{"value":"W2130354981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566065$54EF02A8-FC69-4591-8338-9C42514BFCF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfeaf66b5318c9d92cf3d120ecbf975172a3da7e","datavalue":{"value":{"entity-type":"item","numeric-id":1899141,"id":"Q1899141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$FDD33F29-E99C-4E18-8446-08462EC87108","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":"Q2566065$B98473E9-0C43-460F-AADF-E4DF29190198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$7EF8F484-6029-46FD-B13E-0C151D47BFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$D841D533-F29B-4D38-B7F3-B228EDE4A5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$DE75FFA7-1F32-41A7-8B49-8A18485E3CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$03D36A7E-EC52-4427-B395-16010969DC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55af95d1a259dd7d81908c4ff6cd4aa7411c2937","datavalue":{"value":{"entity-type":"item","numeric-id":749519,"id":"Q749519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$2D4BA5E5-C2BF-4071-9A42-8D65A4373A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3436e4ae09258d8c2c850248fb4a5f0935df9296","datavalue":{"value":{"entity-type":"item","numeric-id":1311428,"id":"Q1311428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$77251B94-38DF-4B18-AF79-A1B81C78BEAD","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":"Q2566065$A18AE45E-7D61-46EE-9229-AAC6DE932B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c4238bf241450a5c744ea01b1c2861dd7aaba6","datavalue":{"value":{"entity-type":"item","numeric-id":1893136,"id":"Q1893136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$1BDDEB10-C587-45F5-98DC-C15935AEF125","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":"Q2566065$E1DF7A49-5A12-452D-88CE-3475738337DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def144a6c01a2c5f09f7a663c86480a856bf8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3866106,"id":"Q3866106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$173AEF86-037B-48E9-BA36-A7942DED299E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566065$A7A66E38-7450-4583-95FC-49EDC289238B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"342ee884df7bf44b77014c5b166c78e43210c3c8","datavalue":{"value":"10.1016/J.APAL.2005.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566065$ACAA0FA5-E836-4311-B9C2-B0E867A3ADE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88dcd17ad00f386831bf1a4762433126935d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199d7ff90c0399248bc0db135c7fa92c8299eeb7","datavalue":{"value":{"amount":"+0.7546656131744385","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":"Q2566065$5688005C-0783-49A5-B03B-AE62AD9FBC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26116b242829566b0f8eaf836fe0abdd9ecba33a","datavalue":{"value":{"entity-type":"item","numeric-id":701734,"id":"Q701734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a49195ad04788391879d648c49684453cba349","datavalue":{"value":{"amount":"+0.753520131111145","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":"Q2566065$67871F81-5AA2-45E5-8352-A0B121ADC699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89cc54bca2455906f81d59a799aeda01ae3ecff8","datavalue":{"value":{"entity-type":"item","numeric-id":5407039,"id":"Q5407039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a3d7d3535b13ca19af28fc03960ff3159646ab","datavalue":{"value":{"amount":"+0.7473160028457642","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":"Q2566065$C7F53ABD-4438-410A-B53E-10F7FE7C0C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33485e146a5ae69ac2e092e712184e61487f82e","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"221427e46d82020c5ea6d67755129df9ffb6d276","datavalue":{"value":{"amount":"+0.7472549080848694","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":"Q2566065$4E689968-8CE4-404C-BBF5-A8E817B7786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be241b03bc484f9d877814ee74d1945dcc501880","datavalue":{"value":{"entity-type":"item","numeric-id":1264147,"id":"Q1264147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c89168f595393694af61d68ca519dab80d7a80f","datavalue":{"value":{"amount":"+0.7457336187362671","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":"Q2566065$4068AC49-02E4-479A-860E-94BAFA083937","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2566065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2566065"}}}}}