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

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

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

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

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

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

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

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

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

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

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