Small Grzegorczyk classes and limited minimum

Mathematical Logic Quarterly 21 (1):417-426 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19750210157

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

Characterization of the Relations in Grzegorczyk's Hierarchy Revisited.Jean-Sylvestre Gakwaya - 1997 - Mathematical Logic Quarterly 43 (1):73-77.
Review: Andrzej Grzegorczyk, Some Classes of Recursive Functions. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
Small Π0 1 Classes.Stephen Binns - 2005 - Archive for Mathematical Logic 45 (4):393-410.
Practical Suggestions for Teaching Small Philosophy Classes.Eddy Nahmias - 2005 - Teaching Philosophy 28 (1):59-65.
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.
Herbrand analyses.Wilfried Sieg - 1991 - Archive for Mathematical Logic 30 (5-6):409-441.
A note on Grzegorczyk's logic.Emil Jeřábek - 2004 - Mathematical Logic Quarterly 50 (3):295-296.
Cut-elimination for Weak Grzegorczyk Logic Go.Rajeev Goré & Revantha Ramanayake - 2014 - Studia Logica 102 (1):1-27.
Effectively closed sets and enumerations.Paul Brodhead & Douglas Cenzer - 2008 - Archive for Mathematical Logic 46 (7-8):565-582.
Tarski and Proper Classes.Philip Hugly & Charles Sayward - 1980 - Analysis 40 (4):6-11.
Subrecursive functions on partial sequences.Karl-Heinz Niggl - 1999 - Archive for Mathematical Logic 38 (3):163-193.

Analytics

Added to PP
2013-11-24

Downloads
17 (#862,403)

6 months
3 (#967,057)

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

Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.
Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.
Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.

View all 7 references / Add more references