The Vectorized Grzegorczyk Hierarchy

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):441-480 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19760220156

Links

PhilArchive



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

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

The Vectorized Grzegorczyk Hierarchy.Steven S. Muchnick - 1976 - Mathematical Logic Quarterly 22 (1):441-480.
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.
Enumeration and the Grzegorczyk Hierarchy.Paul Axt - 1963 - Mathematical Logic Quarterly 9 (1-4):53-65.
Review: Paul Axt, Enumeration and the Grzegorczyk Hierarchy. [REVIEW]Rozsa Peter - 1965 - Journal of Symbolic Logic 30 (1):90-91.
Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy.S. S. Wainer - 1972 - Journal of Symbolic Logic 37 (2):281-292.
Some Hierarchies of Primitive Recursive Functions on Term Algebras.Klaus-Hilmar Sprenger - 1997 - Mathematical Logic Quarterly 43 (2):251-286.
Strictly orthogonal left linear rewrite systems and primitive recursion.E. A. Cichon & E. Tahhan-Bittar - 2001 - Annals of Pure and Applied Logic 108 (1-3):79-101.
On the Minimal Non-Fregean Grzegorczyk Logic.Joanna Golińska-Pilarek - 2016 - Studia Logica 104 (2):209-234.
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.
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.

Analytics

Added to PP
2016-02-04

Downloads
31 (#512,020)

6 months
4 (#779,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Rekursive Funktionen.Raphael M. Robinson & Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (4):280.
Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.

View all 6 references / Add more references