Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors

Mathematical Logic Quarterly 21 (1):443-454 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19750210161

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

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.
Leibniz on Possible Individuals.Ohad Nachtomy - 2002 - Studia Leibnitiana 34 (1):31 - 58.
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.
Chor und Gesetz.Joachim Schulte - 1984 - Grazer Philosophische Studien 21 (1):1-32.
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.
Zur Verwendung von AoimoΣ bei Michael Choniates Ep. 25.A. Rhoby - 2004 - Byzantion 74 (1):210-212.
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
2013-11-24

Downloads
21 (#718,251)

6 months
4 (#790,687)

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

Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
Concatenation as a basis for arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.
Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam,: North-Holland Pub. Co..
Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.János Surányi - 1959 - Budapest,: Verlag der Ungarischen Akademie der Wissenschaften.

View all 8 references / Add more references