{"entities":{"Q701746":{"pageid":703595,"ns":120,"title":"Item:Q701746","lastrevid":48390382,"modified":"2026-01-04T14:11:48Z","type":"item","id":"Q701746","labels":{"en":{"language":"en","value":"Induction, minimization and collection for \\(\\Delta_{n+1}(T)\\)-formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123164"}},"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":"Q701746$C0229A40-1F9E-4F27-BE8C-663B098DD0E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b23265bd56787de6c1d7d8ce4e58ce2250f1d40b","datavalue":{"value":{"text":"Induction, minimization and collection for \\(\\Delta_{n+1}(T)\\)-formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701746$993E4908-790B-40F6-8606-60D3A89FD310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d5e27051006a56be287e861834d89b1f0107dfb","datavalue":{"value":"1061.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701746$E9BE9EAD-ADAF-490D-8BAB-E6CED2D154E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991e51a4520a7c3db178435bbefe41ae34b200b4","datavalue":{"value":{"entity-type":"item","numeric-id":701732,"id":"Q701732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701746$8A92A056-DF1A-46B1-8A48-A9A21FA66FF1","rank":"normal"},{"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":"Q701746$08342EB8-AAFB-4B23-9FAB-8D8C2740D241","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":"Q701746$6FD4DC50-1C18-4D1B-8230-7D2CC4CF8586","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701746$490AC6A1-7894-421D-8153-7CBA7B1076E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"996f4412540672a3847aa7feab745641ba1049fc","datavalue":{"value":"Let \\(T\\) be a consistent theory in the language of arithmetic. \\(\\text{I}\\Delta_{n+1}(T)\\) and \\(\\text{L}\\Delta_{n+1}(T)\\) are, respectively, the induction schema and the least number principle for the formulas which are \\(\\Delta_{n+1}\\) provably in \\(T\\). \\(\\text{B}^*\\Delta_{n+1}(T)\\) is \\(\\text{I}\\Delta_0\\) plus the collection principle for those formulas \\(\\varphi\\in \\Pi_n\\) for which \\(\\exists y\\varphi\\) is provably \\(\\Delta_{n+1}\\) in \\(T\\). The main motivation for the results in this paper is the open problem whether \\(\\text{I}\\Delta_1\\) and \\(\\text{L}\\Delta_1\\) are equivalent. This is a substantial paper.   In the first part, the authors establish a Kirby-Paris-style diagram for the hierarchy theories \\(\\text{I}\\Delta_{n+1}(T)\\), \\(\\text{L}\\Delta_{n+1}(T)\\), and \\(\\text{B}^*\\Delta_{n+1}(T)\\), where \\(T=\\text{I}\\Sigma_n\\). The rest of the paper is devoted to a characterization of the \\(\\Pi_{n+2}\\) consequences of \\(T\\) in terms of \\(\\text{I}\\Sigma_n\\) and a set of nondecreasing \\(\\Pi_n\\)-functions. The authors also discuss connections between their work and Beklemishev's study of induction and collection schemes as inference rules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q701746$86766A32-8B54-4170-82DD-811946478746","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701746$72FCD925-292B-4FAF-9524-744EC2FC04F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701746$6DB6CFEE-6932-4CCA-845C-9AD55C983016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701746$C576D53E-5786-4C99-9B5D-1E0DFEA1C0EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdfb1ace49790dffded9e50124bb32e79820cb0d","datavalue":{"value":"2123164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701746$B401EAD1-CB3E-4060-88BE-641E81FCAE22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q701746$0200DC0E-157D-4DE4-B8B5-BBAE1C84530D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b6f552ad2fb8ffae357dc6404c3ebb617e5d87","datavalue":{"value":"collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q701746$31D17A36-6A08-46B4-B83F-DB45812C0527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb4696de9ddc80bb22737e4dce923792803b009","datavalue":{"value":"least number principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q701746$B2157652-3D0E-4A88-BCAE-F50DE174F972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e0d56db8f9745ec32eb51a6e129af1eacc39ec","datavalue":{"value":"\\(\\Delta_{n+1}\\)-formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q701746$43798FEB-5F6A-4C8E-A4D8-6D8393FB84F0","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":"Q701746$3FE74C2E-5853-43ED-AF44-E7E77074CE91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b1eb94c904312fea4d09233e72e266288535195","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0197-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q701746$82C71C98-7A72-41C1-B623-205C2E2C7B6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c52fe27bd2c19fd6bcb8825ccf73e25217c37062","datavalue":{"value":"W2041820615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701746$4FE741D7-8CD0-4E01-BF02-6DB4BE16E79E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74c18367e435a1a4a733ba88e14752b83a544318","datavalue":{"value":"10.1007/S00153-003-0197-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701746$671ECBA8-A6AC-476C-AE92-E93E83150B4E","rank":"normal"}],"P1643":[{"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":"5a247c5c090913abcefe284bab2b1e6d09a85d9c","datavalue":{"value":{"amount":"+0.8436192274093628","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":"Q701746$0F887FB2-696F-44EB-AC0F-584DA7491BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6c2d27059a49c8eede01e7ea78ec4a0b68765d","datavalue":{"value":{"entity-type":"item","numeric-id":2449854,"id":"Q2449854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc345bbf31ee8e0b29c66a0a2007914b893f393c","datavalue":{"value":{"amount":"+0.8056743144989014","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":"Q701746$10B07157-4D82-4DC0-89B9-EAFAB93F5D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c1e2c103bfbfd386a2ee2e3338bfb71bb70b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3775554,"id":"Q3775554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2225579d48f922ce1342a5f49b7f6fdeac1bdd3","datavalue":{"value":{"amount":"+0.8006210923194885","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":"Q701746$1B949A2A-56E5-4822-8641-43BF766AA79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1930ccd2c211d77cc17c012fe8b297618ae2460b","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1082ab08174f9d039b41fa0548931b5dfd79cd50","datavalue":{"value":{"amount":"+0.7794437408447266","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":"Q701746$C7C49069-4CF1-42FE-A243-F07C11ED2D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613b69ad76c8fc3ea3d99ec97a8669a0e4d62269","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97876700f9a109826d847d603f4ee77cf6db7111","datavalue":{"value":{"amount":"+0.7783181071281433","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":"Q701746$34C0AA12-147E-4CD4-AB5A-69F8BA5B8959","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:701746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:701746"}}}}}