- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Michael Deutsch
34 found
Order:
- Reduzierungen Unentscheidbarer Formaler Sprachen Über Induktiv Definierten Bereichen.Michael Deutsch - 1974 - Mathematical Logic Quarterly 20 (19‐22):325-338.
- A Note on the Theorems of Church‐Turing and Trachtenbrot.Michael Deutsch - 1994 - Mathematical Logic Quarterly 40 (3):422-424.We sketch proofs of the theorems of Church-Turing and Trachtenbrot using a semi-monomorphic axiomatization.
- Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1).Michael Deutsch - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):179-186.No categories
- 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.No categories
- Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞.Michael Deutsch - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):67-78.No categories
- Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ε∃ ∀∞∃ Und ∀∞∃.Michael Deutsch - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):163-176.No categories
- Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1).Michael Deutsch - 1986 - Mathematical Logic Quarterly 32 (35‐36):551-574.No categories
- Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞.Michael Deutsch - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (35-36):551-574.No categories
- 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.No categories
- Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten.Michael Deutsch - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):347-358.No categories
- Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃∞ Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten.Michael Deutsch - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (2):137-153.No categories
- Ontologie und Methode der Mathematik.Michael Deutsch - 2007 - Bremen: Universitätsdruckerei Bremen.
- Reduzierungen Unentscheidbarer Formaler Sprachen Über Induktiv Definierten Bereichen.Michael Deutsch - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):325-338.No categories
- Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch - 1991 - Mathematical Logic Quarterly 37 (18):273-288.
- Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (18):273-288.No categories
- Weitere Verschärfungen zu den Reduktionstypen ∀∃∞∀(0,1), ∃∞∀3∃(∞, 1).Michael Deutsch - 1990 - Mathematical Logic Quarterly 36 (4):339-355.No categories
- Zur Benutzung der Verkettung als Basis für die Arithmetik.Michael Deutsch - 1975 - Mathematical Logic Quarterly 21 (1):145-158.
- Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik.Michael Deutsch - 1977 - Mathematical Logic Quarterly 23 (16‐17):241-264.
- Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik.Michael Deutsch - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (16-17):241-264.No categories
- Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors.Michael Deutsch - 1975 - Mathematical Logic Quarterly 21 (1):443-454.No categories
- 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.No categories
- 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.No categories
- Zur Komplexitätsmessung Primitiv‐Rekursiver Funktionen Über Quotiententermmengen.Michael Deutsch - 1982 - Mathematical Logic Quarterly 28 (22‐24):345-363.
- Zur Komplexitätsmessung Primitiv-Rekursiver Funktionen Über Quotiententermmengen.Michael Deutsch - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (22-24):345-363.No categories
- Zur Präfixoptimalität Gewisser ∄ … ∄‐Darstellungen Aufzählbarer Prädikate.Michael Deutsch - 1976 - Mathematical Logic Quarterly 22 (1):339-346.No categories
- Zur Präfixoptimalität Gewisser ∄ … ∄-Darstellungen Aufzählbarer Prädikate.Michael Deutsch - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):339-346.No categories
- Zum Reduktionstyp ∃∞∀∃∀ Und Zur Spektralen Darstellung ϱ-Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀.Michael Deutsch - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):517-529.No categories
- Zur reduktionstheorie Des entscheidungsproblems.Michael Deutsch - 1981 - Mathematical Logic Quarterly 27 (8‐10):113-117.No categories
- Zur Reduktionstheorie Des Entscheidungsproblems.Michael Deutsch - 1981 - Mathematical Logic Quarterly 27 (8-10):113-117.No categories
- 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.No categories
- 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.No categories
- 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.No categories
- 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.No categories
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-tstkh uwo