Works by Michael Deutsch
21 found
Order:
1 filter applied
- (1 other version)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.
- (1 other version)Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1).Michael Deutsch -1987 -Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):179-186.No categories
- (1 other version)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
- (1 other version)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
- (1 other version)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
- Ontologie und Methode der Mathematik.Michael Deutsch -2007 - Bremen: Universitätsdruckerei Bremen.
- (1 other version)Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch -1991 -Mathematical Logic Quarterly 37 (18):273-288.
- 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.
- (2 other versions)Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik.Michael Deutsch -1977 -Mathematical Logic Quarterly 23 (16‐17):241-264.
- 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
- (1 other version)Zur Komplexitätsmessung Primitiv‐Rekursiver Funktionen Über Quotiententermmengen.Michael Deutsch -1982 -Mathematical Logic Quarterly 28 (22‐24):345-363.
- (1 other version)Zur Präfixoptimalität Gewisser ∄ … ∄‐Darstellungen Aufzählbarer Prädikate.Michael Deutsch -1976 -Mathematical Logic Quarterly 22 (1):339-346.No categories
- Zur Reduktionstheorie Des Entscheidungsproblems.Michael Deutsch -1981 -Mathematical Logic Quarterly 27 (8-10):113-117.No categories
- (1 other version)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.
- (1 other version)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
- (1 other version)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
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server or OpenAthens.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email |  RSS feed |
Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-5b9ff6f457-ljglp uwo