Mathematical Logic Quarterly 21 (1):443-454 (1975)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| DOI | 10.1002/malq.19750210161 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
Concatenation as a Basis for Arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.
The Decision Problem for Exponential Diophantine Equations.Martin Davis, Hilary Putnam & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):151-152.
Existential Definability in Arithmetic.Julia Robinson - 1955 - Journal of Symbolic Logic 20 (2):182-183.
View all 8 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
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.
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 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.
Über die Verwendung eines Aussagenkalküls bei der Synthese von Rechenwerken.Hans Rohleder - 1957 - Mathematical Logic Quarterly 3 (13‐20):292-302.
Zur Präfixoptimalität Gewisser ∄ … ∄‐Darstellungen Aufzählbarer Prädikate.Michael Deutsch - 1976 - Mathematical Logic Quarterly 22 (1):339-346.
Hans Dieter Kemper: Rat und Tat. Studien zur Darstellung eines antithetischen Begriffspaares in der klassischen Periode der griechischen Literatur. Pp. 124. Bonn: privately printed, 1960. Paper. [REVIEW]H. Ll Hudson-Williams - 1961 - The Classical Review 11 (03):290-291.
Zum Paradox der unbeschränkten Kritik. Kritischer Rationalismus als Problemlösungsstrategie.H. -J. Niemann - 1994 - Conceptus: Zeitschrift Fur Philosophie 28 (71):263-284.
Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch - 1991 - Mathematical Logic Quarterly 37 (18):273-288.
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 Bemerkung Zur Spektralen Darstellung Von ϱ‐Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ϵ∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1). [REVIEW]Michael Deutsch - 1988 - Mathematical Logic Quarterly 34 (2):163-176.
Analytics
Added to PP index
2013-11-24
Total views
17 ( #588,686 of 2,409,593 )
Recent downloads (6 months)
8 ( #87,192 of 2,409,593 )
2013-11-24
Total views
17 ( #588,686 of 2,409,593 )
Recent downloads (6 months)
8 ( #87,192 of 2,409,593 )
How can I increase my downloads?
Downloads
