Deutsch, Michael A note on the theorems of Church-Turing and Trachtenbrot. (English) Zbl 0806.03006 Math. Log. Q. 40, No. 3, 422-424 (1994). MSC: 03B10 03B25 PDFBibTeX XMLCite \textit{M. Deutsch}, Math. Log. Q. 40, No. 3, 422--424 (1994; Zbl 0806.03006) Full Text: DOI
Deutsch, Michael Ein neuer Beweis und eine Verschärfung für den Reduktionstyp \(\forall\exists\forall^ \infty(0,1)\) mit einer Anwendung auf die spektrale Darstellung von Prädikaten. (German) Zbl 0798.03006 Z. Math. Logik Grundlagen Math. 38, No. 5-6, 559-574 (1992). MSC: 03B10 03B25 03D10 PDFBibTeX XMLCite \textit{M. Deutsch}, Z. Math. Logik Grundlagen Math. 38, No. 5--6, 559--574 (1992; Zbl 0798.03006) Full Text: DOI
Deutsch, Michael Eine weitere Verschärfung zum konservativen Reduktionstyp \(\forall \exists \forall \exists ^{\infty}(0,1)\) mit einer Anwendung auf die spektrale Darstellung von Prädikaten. (German) Zbl 0688.03006 Z. Math. Logik Grundlagen Math. 35, No. 2, 137-153 (1989). Reviewer: S.R.Kogalovskij MSC: 03B20 03C10 03C15 PDFBibTeX XMLCite \textit{M. Deutsch}, Z. Math. Logik Grundlagen Math. 35, No. 2, 137--153 (1989; Zbl 0688.03006) Full Text: DOI
Deutsch, Michael Eine Verschärfung eines Satzes von Kostyrko zur Reduktionstheorie mit einer Anwendung auf die spektrale Darstellung von Prädikaten. (German) Zbl 0609.03001 Z. Math. Logik Grundlagen Math. 33, 347-358 (1987). MSC: 03B25 03B10 PDFBibTeX XMLCite \textit{M. Deutsch}, Z. Math. Logik Grundlagen Math. 33, 347--358 (1987; Zbl 0609.03001) Full Text: DOI
Deutsch, Michael Eine Bemerkung zum Reduktionstyp \(\forall ^ 3\exists ^{\infty}(0,1)\). (German) Zbl 0608.03003 Z. Math. Logik Grundlagen Math. 33, 179-186 (1987). MSC: 03B25 PDFBibTeX XMLCite \textit{M. Deutsch}, Z. Math. Logik Grundlagen Math. 33, 179--186 (1987; Zbl 0608.03003) Full Text: DOI
Deutsch, Michael Ein neuer Beweis und eine Verschärfung für den konservativen Reduktionstyp \(\forall \exists \forall \exists ^{\infty}(0,1)\). (German) Zbl 0591.03004 Z. Math. Logik Grundlagen Math. 32, 551-574 (1986). MSC: 03B25 PDFBibTeX XMLCite \textit{M. Deutsch}, Z. Math. Logik Grundlagen Math. 32, 551--574 (1986; Zbl 0591.03004) Full Text: DOI
Deutsch, Michael Reductions for the satisfiability with a simple interpretation of the predicate variable. (English) Zbl 0547.03004 Logic and machines: decision problems and complexity, Proc. Symp., Münster/Ger. 1983, Lect. Notes Comput. Sci. 171, 285-311 (1984). MSC: 03B20 03C13 03B15 03B25 PDFBibTeX XML