Mathematical Logic Quarterly 34 (2):163-176 (1988)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1002/malq.19880340209 |
Options |
![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Eine Bemerkung zu spektralen Darstellungen von ϱ‐stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞ und ∀∃2∀(∞, 1). [REVIEW]Michael Deutsch - 1990 - Mathematical Logic Quarterly 36 (2):163-184.
Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1).Michael Deutsch - 1988 - Mathematical Logic Quarterly 34 (1):67-78.
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 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.
Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten.Michael Deutsch - 1987 - Mathematical Logic Quarterly 33 (4):347-358.
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.
Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen.Michael Deutsch - 1980 - Mathematical Logic Quarterly 26 (1‐6):1-32.
Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1).Michael Deutsch - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):179-186.
Review: G. S. Cejtin, N. A. Sanin, Eine Darstellungsweise der Theorie der Algorithmen und der Rekursiv Aufzahlbaren Mengen. [REVIEW]P. Schreiber - 1970 - Journal of Symbolic Logic 35 (3):478-479.
Über Eine Art Von Unvollständigkeit Des Prädikaten-Kalküls der Ersten Stufe.Gisbert Hasenjaeger - 1950 - Journal of Symbolic Logic 15 (4):273-276.
Indexikalische Ausdrücke und Propositionen.Wolfgang Becker - 1988 - Grazer Philosophische Studien 32 (1):123-153.
Eine Bemerkung zur Bernays‐Gödel‐Mengenlehre.E. Burger - 1958 - Mathematical Logic Quarterly 4 (12‐16):178-179.
Analytics
Added to PP index
2013-12-01
Total views
12 ( #756,011 of 2,411,486 )
Recent downloads (6 months)
1 ( #539,172 of 2,411,486 )
2013-12-01
Total views
12 ( #756,011 of 2,411,486 )
Recent downloads (6 months)
1 ( #539,172 of 2,411,486 )
How can I increase my downloads?
Downloads