36 found
Order:
  1.  32
    Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1).Michael Deutsch - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):179-186.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  12
    Reduzierungen Unentscheidbarer Formaler Sprachen Über Induktiv Definierten Bereichen.Michael Deutsch - 1974 - Mathematical Logic Quarterly 20 (19‐22):325-338.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  3.  25
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  23
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  23
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  24
    Zur Reduktionstheorie Des Entscheidungsproblems.Michael Deutsch - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (8-10):113-117.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  22
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  23
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  21
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  22
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  22
    Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv-Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen.Michael Deutsch - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (1-6):1-32.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  22
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  30
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  21
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  20
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  22
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  18
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  10
    Zur Benutzung der Verkettung als Basis für die Arithmetik.Michael Deutsch - 1975 - Mathematical Logic Quarterly 21 (1):145-158.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  19.  17
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  13
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  11
    Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch - 1991 - Mathematical Logic Quarterly 37 (18):273-288.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  11
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  10
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  10
    Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik.Michael Deutsch - 1977 - Mathematical Logic Quarterly 23 (16‐17):241-264.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  10
    Zur Präfixoptimalität Gewisser ∄ … ∄‐Darstellungen Aufzählbarer Prädikate.Michael Deutsch - 1976 - Mathematical Logic Quarterly 22 (1):339-346.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  9
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  9
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  9
    Zur Komplexitätsmessung Primitiv‐Rekursiver Funktionen Über Quotiententermmengen.Michael Deutsch - 1982 - Mathematical Logic Quarterly 28 (22‐24):345-363.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  9
    Zur Reduktionstheorie Des Entscheidungsproblems.Michael Deutsch - 1981 - Mathematical Logic Quarterly 27 (8‐10):113-117.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  8
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  8
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  7
    Weitere Verschärfungen zu den Reduktionstypen ∀∃∞∀(0,1), ∃∞∀3∃(∞, 1).Michael Deutsch - 1990 - Mathematical Logic Quarterly 36 (4):339-355.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  7
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Ontologie Und Methode der Mathematik.Michael Deutsch - 2007 - Universitätsdruckerei Bremen.
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  29
    Weitere Verschärfungen zu den Reduktionstypen ∀∃∞∀, ∃∞∀3∃.Michael Deutsch - 1990 - Mathematical Logic Quarterly 36 (4):339-355.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  17
    Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞ und ∀∃2∀.Michael Deutsch - 1990 - Mathematical Logic Quarterly 36 (2):163-184.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark