{"entities":{"Q1377604":{"pageid":1388344,"ns":120,"title":"Item:Q1377604","lastrevid":68582427,"modified":"2026-04-13T00:43:03Z","type":"item","id":"Q1377604","labels":{"en":{"language":"en","value":"Sometimes slow growing is fast growing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109890"}},"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":"Q1377604$E9263368-BEEA-49E3-B5F9-66FB36DBFA46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"324df6f2e776edfc00902ed132285e4d18e1975e","datavalue":{"value":{"text":"Sometimes slow growing is fast growing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377604$AF46D0F2-CCEF-473A-BB48-2F1C1A153E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15ac9691e96a8b28a3b713c953c78b536798f6dd","datavalue":{"value":"0896.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377604$455EFA21-BD3B-41B3-A3CC-B9E4C009C63E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1e4b83bf64c98dbea8e3ff63e5110f51af1f208","datavalue":{"value":"10.1016/S0168-0072(97)00033-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377604$A2ACBA73-2634-4459-9765-589EA37AF9BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377604$BCFE64DF-7126-414B-89C8-B41CE0FFC0FD","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":"Q1377604$5BC49894-82FE-4095-99D8-9B85F57086FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fda7d68dde2ce269daa4d7eb5af1d4726eca7412","datavalue":{"value":{"time":"+1998-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377604$DFC114C6-3420-46E3-9ECE-1684A0EE76BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d48c71583a756a8406e17fd809ecc4d49657194","datavalue":{"value":"An important problem in the foudations of subrecursive hierarchies is to explain the role of the choice of a fundamental sequence for the definition of such a hierarchy. In this paper we can see that the study of this problem is very promising and can reveal interesting surprises. The author shows that a version of the hierarchy which is commonly called the slow growing hierarchy (defined with respect to a certain norm-based assignment of fundamental sequences [\\textit{E. A. Cichon}, in: P. Aczel et al. (eds.), Proof theory, Int. Summer School and Conference, Leeds 1990, 173-193 (1992; Zbl 0793.03057)]) majorizes each PA-provable recursive function; and that is the property that lets a hierarchy be called fast growing.   The proof is quite technical but it is easy to follow since everything is given in full detail. Before the proof of the crucial hierarchy comparison theorem is carried out, the author gives a short calculation that illustrates why the considered ``slow growing'' hierarchy leaves the scope of elementary recursion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377604$B26A7F19-4719-465E-8106-04BC0BAC881E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2ff25c2e8cc717bb47b0ce37ddc50e1d615f0b7c","datavalue":{"value":{"entity-type":"item","numeric-id":1128183,"id":"Q1128183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377604$4EC90FFF-4306-486F-ABF4-9A01F997D590","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377604$EB56E491-29AF-4CF3-AD21-7F86226862EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377604$69265BFA-E96B-42AF-95C5-D9338F27494A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377604$6643C6BD-C1CF-47E0-80D9-7CB2395F5101","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"745996ab35ca1c30fa05663a85b1fc08271e366c","datavalue":{"value":"1109890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377604$BB3710BA-F46A-4C2D-B4D4-4AA43302828F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a19f92c511c331c7c31de40c027124517a3018","datavalue":{"value":"slow growing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377604$6E17AED2-2ABA-4AAC-944E-445323E10F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79dcd5a827adbe0383e629fb5220722804e7650c","datavalue":{"value":"fast growing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377604$3D471EBC-7F7E-4652-9739-5E09F31EB798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a099d82e9276b91a07feadfab123b4c1c6cdc059","datavalue":{"value":"fundamental sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377604$9C0C28A6-F973-4930-AA50-87912AFE2BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c38767fd12c9c8e9abf8fcf6f5d3b2c6705d86","datavalue":{"value":"hierarchy comparison theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377604$82BB5F9B-A9BB-4987-A80B-9CEED88A3551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556545c10c874235d11dac3140a240f6dd7c969e","datavalue":{"value":"subrecursive hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377604$6B24A85B-3C52-4365-9770-80DECE970744","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":"Q1377604$C128B8BE-A641-44CA-9890-36B70CBAA395","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"babb57e05ccf4f0b9296f29ede0f3e68e5b3703d","datavalue":{"value":{"entity-type":"item","numeric-id":4227873,"id":"Q4227873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377604$3570A18C-4C07-4117-9BC2-BB97C1867424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fa35c0c7bf0cf019d342631a1fc438315dad93","datavalue":{"value":{"entity-type":"item","numeric-id":4304112,"id":"Q4304112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377604$7EFF5DD8-FA39-4AF8-B282-9B2D5F2927B1","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":"Q1377604$9B34D609-CCC7-4D59-908C-F14B09C881D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173eb0ca706b90c3f5e98576319b1aac6f73c7d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138831,"id":"Q3138831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377604$1F427B7F-4B72-4FCC-A9D5-33B8808255E6","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":"Q1377604$47743F09-06C1-4428-A5F1-EAC46A9E6F28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2150589682432e0f3c2a143c3fb723d9e2018683","datavalue":{"value":{"entity-type":"item","numeric-id":4934570,"id":"Q4934570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62dabb5b227a0f860b8022650b2abd2ca1b6d8c","datavalue":{"value":{"amount":"+0.8991959691047668","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":"Q1377604$9337C606-EFA6-44A2-899A-984658424C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50425281410826509283d69d9b51dba3917f4acb","datavalue":{"value":{"entity-type":"item","numeric-id":1868156,"id":"Q1868156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cde1c40da46954b907a4c759ac0e9782a506da","datavalue":{"value":{"amount":"+0.8871736526489258","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":"Q1377604$E8A473C0-BD52-45E8-956A-75DBFADAD7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa022f173f236f264c2dc1a3b8e11281dcd7de61","datavalue":{"value":{"entity-type":"item","numeric-id":3422027,"id":"Q3422027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc517a43ad77051fdb78257c2d69a6b4fcf3ae40","datavalue":{"value":{"amount":"+0.835918664932251","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":"Q1377604$6804BE23-8C3A-4779-AA65-F36529553303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e440a8cd7050cbad777567360bb3a4b33ab1a837","datavalue":{"value":{"entity-type":"item","numeric-id":1908812,"id":"Q1908812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b8f4ccbd00e7857a1d813b40c83ab9700e1174","datavalue":{"value":{"amount":"+0.8202062249183655","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":"Q1377604$F80E7050-8DAB-42E4-A51A-ADED1A72DA97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sometimes slow growing is fast growing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sometimes_slow_growing_is_fast_growing"}}}}}