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

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

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

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

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

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

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

functions, E n {\displaystyle \operatorname {E} _{n}} , defining the Grzegorczyk hierarchy, is frequently used to partition the primitive recursive functions...

are needed. Elementary function – A kind of mathematical function Grzegorczyk hierarchy – Functions in computability theory Reverse mathematics – Branch...

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

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

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

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