{"entities":{"Q1182465":{"pageid":1193214,"ns":120,"title":"Item:Q1182465","lastrevid":66441600,"modified":"2026-04-12T10:05:34Z","type":"item","id":"Q1182465","labels":{"en":{"language":"en","value":"A slow growing analogue to Buchholz' proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31336"}},"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":"Q1182465$B22B1B52-181D-46E4-9F98-BF7CDB437B71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ebf3be41af5ce0edee49b3b4e9a39e3931a2819","datavalue":{"value":{"text":"A slow growing analogue to Buchholz' proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182465$66A17C7C-80E7-499A-8132-4C9880A6DB1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e4acea329a864104b1cfe5d140c4692e63490d3","datavalue":{"value":"0753.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182465$21C4F6D1-83AA-4FE2-A244-813AECFF501D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdecb7d0ff8ec08ce4f85d368fac22a02dc5374d","datavalue":{"value":"10.1016/0168-0072(91)90027-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182465$D0412EA5-1BB2-4023-98E4-2BB5341DFC0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182465$11242A5F-A84C-49FE-A0A7-93CC1F076584","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":"Q1182465$9555703E-FE62-40F0-B434-6821FCD5C13F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182465$118D1809-40B6-4741-9067-577FBEC08662","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"609d5ee6744ea2a1acc4795eef3101793be2e2b7","datavalue":{"value":"To show that heroic Hercules always chops off all heads of heinous Hydrae, but, alas, that mathematical proofs of this fact are hard to achieve, \\textit{W. Buchholz} used the term structure \\((T,\\cdot[\\cdot])\\) to represent Hydrae and fast growing functions to size up the strength of a mathematical theory [ibid. 33, 131-155 (1987; Zbl 0636.03052)]. Among other things, he characterized the provably total recursive functions in terms of fast growing functions. It is this characterization theorem whose analogue the author proves in terms of slow growing functions, \\(G_ n\\), \\(n<\\omega\\). And, as he stated, the proof is ``a slight modification of Buchholz's''. The author summarizes the contents of this paper in two theorems. (I) \\(\\text{GID}_ \\nu\\vdash \\forall n \\exists m(a[n]^ m=0)\\) for each \\(a\\in T_ 0(\\nu)\\). (II) If \\(\\text{GID}_ \\nu \\vdash \\forall x \\exists y \\phi(x,y)\\), where \\(\\phi\\) is a \\(\\Sigma^ 0_ 1\\)-formula, then (a) \\(\\exists n_ 0 \\forall n\\geq n_ 0 \\exists m<G_ 1(D_ 0 D^ n_ \\nu 0)\\phi(n,m)\\), (b) \\(\\exists n_ 0 \\forall n>0 \\exists m<G_ n(D_ 0 D_ \\nu^{n_ 0} 0)\\phi(n,m)\\), and (c) \\(\\exists n_ 0 \\forall n\\geq n_ 0 \\exists m<G_ n(D_ 0 D_{\\nu+1} 0)\\phi(n,m)\\). Here, \\(\\text{GID}_ \\nu\\), \\(\\nu\\leq\\omega\\), is the theory with iterated inductive definitions. The paper is reading for adults; there are hardly any tales or illustrations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182465$1E2F7CE5-1887-4AE9-A7ED-1C391557D8F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182465$7D6B869E-FF24-4F33-982D-8F7DE5D9537C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182465$4AC7C6C6-9767-46A7-9F99-A2AD19DA6AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182465$0786057C-EB95-4963-B2E7-F1325BB05DDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6be143e3fe6d4e7da651ef29413b732940c83605","datavalue":{"value":"31336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182465$7FB486A8-6DE5-4CD7-AECE-498EB122DE33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914b0c1d26c3bc40cb8a984dc6027cf621b43dda","datavalue":{"value":"provably total recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182465$442793F1-2EFA-4F07-BD91-9F29A080D4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f570833bb375daa10a1632b73537db1cf50aede","datavalue":{"value":"slow growing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182465$66869462-8C64-445C-9528-4983D0A0DFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99b7d0cd5276ef5a26640c1ed3062884190b6763","datavalue":{"value":"theory with iterated inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182465$A57752EC-85CD-42B7-A5C1-45A85EB10B6C","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":"Q1182465$320A9932-84AE-41D1-9CE6-607F585AC637","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"559d023d291e446bba13d5979c34214548a51934","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182465$B4E059FF-0716-4797-A055-B7EA81248929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"279c3d2f33bbbcbefab5ed817a5c061033fcde81","datavalue":{"value":{"entity-type":"item","numeric-id":1097882,"id":"Q1097882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182465$31977F22-150D-4B6F-B7F7-60AF4E7CF538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182465$7F55C8B7-600E-4E5C-A848-11C551335B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a454ef6b42682012c40ff7e7cb072f359af068d","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182465$7E7B4AD5-4684-4C6E-BF7A-DE46C1D96C57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a312d4e1389c3e09e85597897ab5ca5163858323","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bda3f0486bb90a58c26bbec9b6713067c79387c","datavalue":{"value":{"amount":"+0.7332942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$7ED207C6-845E-4BF4-8D98-7A356796418F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a683d6942429362086e34faab2f81aad5cd815b","datavalue":{"value":{"entity-type":"item","numeric-id":3975129,"id":"Q3975129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247003297c987d4e22ecf59548967c52eac48282","datavalue":{"value":{"amount":"+0.7311972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$8A681B31-2E3D-4F97-9847-5F4E9580D570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b8b0a4c238e707d6ee9a7a6673d9b8153bdbd7","datavalue":{"value":{"entity-type":"item","numeric-id":1128173,"id":"Q1128173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c71dad8c66e8e9a854c5df1bcc94dc056b59e0","datavalue":{"value":{"amount":"+0.7212643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$47E7EDBF-814C-4A8E-B101-3AC24745E91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9400f3b355173dcba79762b26857b3718cbaa72","datavalue":{"value":{"entity-type":"item","numeric-id":5435640,"id":"Q5435640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939651107033582a7ba7f9f7df0da33b9a090622","datavalue":{"value":{"amount":"+0.72118527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$A2053DDB-1D71-4F6C-8EF5-99C41D1F7DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a89dc3f8b9c614d3c47ec807c896f5b07eb80c1","datavalue":{"value":{"entity-type":"item","numeric-id":3138828,"id":"Q3138828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3039c12e665917306cfa979b89af5cf903fa4311","datavalue":{"value":{"amount":"+0.71578777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$2346C5ED-53AF-4425-9C12-E26EE8C42B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b207d47427396f8df943d15acbbc4c09678ca3ae","datavalue":{"value":{"entity-type":"item","numeric-id":1377604,"id":"Q1377604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e7c2e5f72764ee1a39a9fac634fb3185fd8862","datavalue":{"value":{"amount":"+0.7141088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$3BC8D954-211C-45CF-8146-7022E3E5FBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4fb42a5356c6cc9780393ddb49417cdbaaae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65e47f31976dfb8981e8c95c06c344db68b78d6","datavalue":{"value":{"amount":"+0.71100855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$D15D088A-F316-4533-84BF-C0E5703C2E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcec93e1597e4c57cdb212205651fb95bf6aff4","datavalue":{"value":{"entity-type":"item","numeric-id":1091390,"id":"Q1091390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac2ae9fb721690c4e7665bb290644f20fcccd3a","datavalue":{"value":{"amount":"+0.70895714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$78168A9B-2FB4-4F53-8140-7FE61E7E3647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaf58864b6344903f4e733e071e29fea437a683","datavalue":{"value":{"entity-type":"item","numeric-id":3720596,"id":"Q3720596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9cdd8dcfc6bddc304cfbd6a50006d3e83e93ff","datavalue":{"value":{"amount":"+0.7084783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$54DBB3F9-58A3-4125-A8FA-61351BDEE760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04cda67651ba54edbf2538fb610a6ba20225fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5854676,"id":"Q5854676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4415b36d2c7766de6510c71ca792d0b46ec40a79","datavalue":{"value":{"amount":"+0.7038361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182465$99545871-6E88-4EF1-A38D-79B3AA8BBCA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A slow growing analogue to Buchholz' proof","badges":[]}}}}}