Die Unentscheidbarkeit Der Grzegorczyk-Klassen

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (6):89-94 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19670130603

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

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

Die Unentscheidbarkeit Der Grzegorczyk‐Klassen.Klemens Döpp - 1967 - Mathematical Logic Quarterly 13 (6):89-94.
Characterization of the Relations in Grzegorczyk's Hierarchy Revisited.Jean-Sylvestre Gakwaya - 1997 - Mathematical Logic Quarterly 43 (1):73-77.
On the Minimal Non-Fregean Grzegorczyk Logic.Joanna Golińska-Pilarek - 2016 - Studia Logica 104 (2):209-234.
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.
Cut-elimination for Weak Grzegorczyk Logic Go.Rajeev Goré & Revantha Ramanayake - 2014 - Studia Logica 102 (1):1-27.
"Hinweise auf:" Stegmüller, Unvollständigkeit und Unentscheidbarkeit.H. G. Gadamer - 1960 - Philosophische Rundschau 8 (2/3):228-232.
Definierbarkeit und unentscheidbarkeit.Hans-Dietrich Hecker - 1969 - Mathematical Logic Quarterly 15 (6):81-84.
A note on Grzegorczyk's logic.Emil Jeřábek - 2004 - Mathematical Logic Quarterly 50 (3):295-296.
Definierbarkeit und unentscheidbarkeit.Hans-Dietrich Hecker - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (6):81-84.
Review: Wolfgang Rautenberg, Unentscheidbarkeit der Euklidischen Inzidenzgeometrie. [REVIEW]L. W. Szczerba - 1964 - Journal of Symbolic Logic 29 (1):58-58.
Die Skepsis und die Unentscheidbarkeit der Alternativen gründet in der unbestimmten Limitation unseres endlichen Wissens.Norbert Meder - 1994 - Ethik Und Sozialwissenschaften 5 (4):605.
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.
James 5:7–11.Sheila Klassen-Wiebe - 2012 - Interpretation: A Journal of Bible and Theology 66 (1):74-76.
A. J. Klassen, ed.: "A Bonhoeffer Legacy". [REVIEW]John S. Mogabgab - 1985 - The Thomist 49 (1):142.
Die Hussitische Revolution. [REVIEW]John Klassen - 2003 - The Medieval Review 9.

Analytics

Added to PP
2016-02-04

Downloads
26 (#623,519)

6 months
1 (#1,498,899)

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

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.

Add more references