Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1)

Mathematical Logic Quarterly 32 (35‐36):551-574 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19860323503

Other Versions

reprint Deutsch, Michael (1986) "Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32(35-36):551-574

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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

Ein neuer beweis und eine verschärfung für den reduktionstyp ∀∃∀∞(0, 1) mit einer anwendung auf die spektrale darstellung Von prädikaten. [REVIEW]Michael Deutsch & M. Deutsch - 1992 - Mathematical Logic Quarterly 38 (1):559-574.
Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten. [REVIEW]Michael Deutsch - 1989 - Mathematical Logic Quarterly 35 (2):137-153.
Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität.Ronald Björn Jensen - 1965 - Archive for Mathematical Logic 7 (3-4):128-138.
Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv-rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.
Zum Reduktionstyp ∃∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀ (ϱ, 1). [REVIEW]Michael Deutsch - 1989 - Mathematical Logic Quarterly 35 (6):517-529.
Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1).Michael Deutsch - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):179-186.
Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.László Kalmár - 1956 - Mathematical Logic Quarterly 2 (1-4):1-14.

Analytics

Added to PP
2013-12-01

Downloads
16 (#1,202,268)

6 months
5 (#1,071,419)

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

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.János Surányi - 1959 - Budapest,: Verlag der Ungarischen Akademie der Wissenschaften.

Add more references