21 found
Order:
  1.  22
    (1 other version)Reduzierungen Unentscheidbarer Formaler Sprachen Über Induktiv Definierten Bereichen.Michael Deutsch - 1974 - Mathematical Logic Quarterly 20 (19‐22):325-338.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  50
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  42
    (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
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  16
    (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
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  16
    (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
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  16
    (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
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  7
    Ontologie und Methode der Mathematik.Michael Deutsch - 2007 - Bremen: Universitätsdruckerei Bremen.
  8.  22
    (1 other version)Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch - 1991 - Mathematical Logic Quarterly 37 (18):273-288.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  26
    Weitere Verschärfungen zu den Reduktionstypen ∀∃∞∀(0,1), ∃∞∀3∃(∞, 1).Michael Deutsch - 1990 - Mathematical Logic Quarterly 36 (4):339-355.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  19
    Zur Benutzung der Verkettung als Basis für die Arithmetik.Michael Deutsch - 1975 - Mathematical Logic Quarterly 21 (1):145-158.
  11.  23
    (2 other versions)Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik.Michael Deutsch - 1977 - Mathematical Logic Quarterly 23 (16‐17):241-264.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  24
    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
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  53
    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
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  16
    (1 other version)Zur Komplexitätsmessung Primitiv‐Rekursiver Funktionen Über Quotiententermmengen.Michael Deutsch - 1982 - Mathematical Logic Quarterly 28 (22‐24):345-363.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  20
    (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
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  56
    Zur Reduktionstheorie Des Entscheidungsproblems.Michael Deutsch - 1981 - Mathematical Logic Quarterly 27 (8-10):113-117.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  22
    (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
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  30
    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
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  31
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  22
    (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
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  16
    (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
    Direct download  
     
    Export citation  
     
    Bookmark