The Grzegorczyk hierarchy (/ɡrɛˈɡɔːrtʃək/, Polish pronunciation: [ɡʐɛˈɡɔrt͡ʂɨk]), named after the Polish logician Andrzej Grzegorczyk, is a hierarchy of...

proof theory, a fast-growing hierarchy (also called an extended Grzegorczyk hierarchy, or a Schwichtenberg-Wainer hierarchy) is an ordinal-indexed family...

Andrzej Grzegorczyk ([ˈandʐɛj ɡʐɛˈɡɔrt͡ʂɨk]; 22 August 1922 – 20 March 2014) was a Polish logician, mathematician, philosopher and ethicist. He was noted...

and limited substitution (similar to Grzegorczyk hierarchy). Caicedo (2007) defines a modified Hardy hierarchy of functions H α {\displaystyle H_{\alpha...

The successor function is the level-0 foundation of the infinite Grzegorczyk hierarchy of hyperoperations, used to build addition, multiplication, exponentiation...

including: the Ackermann function (3-argument), the Ackermann hierarchy, the Grzegorczyk hierarchy (which is more general), Goodstein's version of the Ackermann...

result. Furthermore, with the relatively elementary technique of the Grzegorczyk hierarchy, it can be shown that every primitive recursive strictly decreasing...

of the n-th level E n {\displaystyle {\mathcal {E}}^{n}} of the Grzegorczyk hierarchy is total. RCA0, recursive comprehension. WKL0, weak Kőnig's lemma...

Cichon, E. A.; Wainer, S. S. (1983). "The slow-growing and the Grzegorczyk hierarchies". The Journal of Symbolic Logic. 48 (2): 399–408. doi:10.2307/2273557...

equations are needed. Elementary function – Mathematical function Grzegorczyk hierarchy – Functions in computability theory Reverse mathematics – Branch...

to be in the set E 4 {\displaystyle {\mathcal {E}}^{4}} of the Grzegorczyk hierarchy. A purely semantic normalisation proof (see normalisation by evaluation)...

scientific discoveries. Andrzej Grzegorczyk: mathematician and logician, who introduced the Grzegorczyk hierarchy, a hierarchy of functions used in computability...

on the fifth level E 5 {\displaystyle {\mathcal {E}}^{5}} of the Grzegorczyk hierarchy. Ramsey number Graph coloring Rabung, John; Lotts, Mark (2012)....

Misiurewicz point. Andrzej Grzegorczyk, Polish mathematician; he introduced the Grzegorczyk hierarchy – a subrecursive hierarchy that foreshadowed computational...

rename what until then were simply called recursive functions. Grzegorczyk hierarchy Recursion (computer science) Primitive recursive functional Double...

order. Elementary function arithmetic Primitive recursive function Grzegorczyk hierarchy EXPTIME Mazzanti, S (2002). "Plain Bases for Classes of Primitive...

(in French). Presses universitaires de France. ISBN 978-2-13-053723-6. Grzegorczyk, Anna (Faculty of Geography and Regional Studies, University of Warsaw)...

Semicomputable function Transcomputational problem Mazur, Stanisław (1963). Grzegorczyk, Andrzej; Rasiowa, Helena (eds.). Computable analysis. Rozprawy Matematyczne...

Theoria 46: 7–18. 1980b, "Provability in arithmetic and a schema of Grzegorczyk," Fundamenta Mathematicae 106: 41–45. 1980c, "Provability, truth, and...

Fundamenta Mathematicae Vol. 44, No. 1, ss. 37-51, (1957). Andrzej Grzegorczyk, Andrzej Mostowski and Czesław Ryll-Nardzewski, "The classical and ω-complete...

a postępowanie odwoławcze" (PDF). Białystok University (in Polish). Grzegorczyk, Tomasz. "Kasacja nadzwyczajna". Wolters Kluwer Poland (in Polish). Retrieved...