Michael Deutsch

According to our database, Michael Deutsch authored at least 22 papers between 1975 and 1994.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1994

A Note on the Theorems of Church-Turing and Trachtenbrot.

Michael Deutsch

Math. Log. Q., 1994

1992

Ein neuer Beweis und eine Verschärfung für den Reduktionstyp ∀∃∀∞(0, 1) mit einer Anwendung auf die spektrale Darstellung von Prädikaten.

Michael Deutsch

Math. Log. Q., 1992

1991

Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.

Michael Deutsch

Math. Log. Q., 1991

1990

Weitere Verschärfungen zu den Reduktionstypen ∀∃^∞∀(0, 1), ∃^∞∀³∃(∞, 1).

Michael Deutsch

Math. Log. Q., 1990

Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃^∞ und ∀∃²∀(∞, 1).

Michael Deutsch

Math. Log. Q., 1990

1989

Zum Reduktionstyp ∃^∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ-Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃^∞∀∃∀ (ϱ, 1).

Michael Deutsch

Math. Log. Q., 1989

Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃^∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten.

Michael Deutsch

Math. Log. Q., 1989

1988

Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃^∞∀^ϵ∃(ϱ, 1) ∀^∞∃(ϱ, 1) Und ∀^∞∃(∞, 1).

Michael Deutsch

Math. Log. Q., 1988

Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1).

Michael Deutsch

Math. Log. Q., 1988

1987

Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten.

Michael Deutsch

Math. Log. Q., 1987

Eine Bemerkung Zum Reduktionstyp ∀³ ∃(0, 1).

Michael Deutsch

Math. Log. Q., 1987

1986

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

Michael Deutsch

Math. Log. Q., 1986

1983

Reductions for the satisfiability with a simple interpretation of the predicate variable.

Michael Deutsch

Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983

1982

Zur Komplexitätsmessung Primitiv-Rekursiver Funktionen Über Quotiententermmengen.

Michael Deutsch

Math. Log. Q., 1982

1981

Registermaschinen üBER Quotiententermmengen.

Michael Deutsch

Math. Log. Q., 1981

Zur Reduktionstheorie des Entscheidungsproblems.

Michael Deutsch

Math. Log. Q., 1981

1980

Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv-Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen.

Michael Deutsch

Math. Log. Q., 1980

1977

Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik.

Michael Deutsch

Math. Log. Q., 1977

1976

Zur Präfixoptimalität Gewisser ∄ ... ∄-Darstellungen Aufzählbarer Prädikate.

Michael Deutsch

Math. Log. Q., 1976

1975

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

Michael Deutsch

Math. Log. Q., 1975

Zur Benutzung der Verkettung als Basis für die Arithmetik.

Michael Deutsch

Math. Log. Q., 1975

Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe.

Michael Deutsch

Arch. Math. Log., 1975