The Vectorized Grzegorczyk Hierarchy

Mathematical Logic Quarterly 22 (1):441-480 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19760220156

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Characterization of the Relations in Grzegorczyk's Hierarchy Revisited.Jean-Sylvestre Gakwaya - 1997 - Mathematical Logic Quarterly 43 (1):73-77.
Herbrand analyses.Wilfried Sieg - 1991 - Archive for Mathematical Logic 30 (5-6):409-441.
Enumeration and the Grzegorczyk Hierarchy.Paul Axt - 1963 - Mathematical Logic Quarterly 9 (1‐4):53-65.
Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy.S. S. Wainer - 1972 - Journal of Symbolic Logic 37 (2):281-292.
Review: Paul Axt, Enumeration and the Grzegorczyk Hierarchy. [REVIEW]Rozsa Peter - 1965 - Journal of Symbolic Logic 30 (1):90-91.
Some Hierarchies of Primitive Recursive Functions on Term Algebras.Klaus-Hilmar Sprenger - 1997 - Mathematical Logic Quarterly 43 (2):251-286.
An Analysis of the W -Hierarchy.Yijia Chen, Jörg Flum & Martin Grohe - 2007 - Journal of Symbolic Logic 72 (2):513 - 534.
Review: Andrzej Grzegorczyk, On the Concept of Categoricity; A. Grzegorczyk, A Kind of Categoricity. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-388.
A note on Grzegorczyk's logic.Emil Jeřábek - 2004 - Mathematical Logic Quarterly 50 (3):295-296.
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones. [REVIEW]Andreas Weiermann - 1995 - Archive for Mathematical Logic 34 (5):313-330.
Cut-elimination for Weak Grzegorczyk Logic Go.Rajeev Goré & Revantha Ramanayake - 2014 - Studia Logica 102 (1):1-27.
On vectorizations of unary generalized quantifiers.Kerkko Luosto - 2012 - Archive for Mathematical Logic 51 (3):241-255.
Bounded query classes and the difference hierarchy.Richard Beigel, William I. Gasarch & Louise Hay - 1989 - Archive for Mathematical Logic 29 (2):69-84.

Analytics

Added to PP
2013-11-24

Downloads
5 (#1,537,892)

6 months
1 (#1,467,486)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Czego informatycy nauczyli się od Andrzeja Grzegorczyka?Andrzej Salwicki - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40).

Add more citations

References found in this work

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.

Add more references