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...

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

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

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

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

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

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

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...

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...

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...

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

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

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

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

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

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