Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen

Börger, E.: Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen. Archiv für math. Logik und Grundlagenforschung16, 67–84 (1974).CrossRefGoogle Scholar

Gurevich, Yu.: The decision problem for standard classes. The Journal of Symbolic Logic41, 460–464 (1976).Google Scholar

Gurevich, Yu.: Semi-conservative reduction. Arch. math. Logik18, 23–25 (1976a).CrossRefGoogle Scholar

Gurevich, Yu., Koriakov, J.: Remark on the R. Berger's paper on the domino problem. Siberian Mathematical Journal13, 459–463 (1972).CrossRefGoogle Scholar

Minsky, M.L.: Recursive unsolvability of Post's problem of “Tag” and other topics in theory of Turing maschines. Annals of Math.74, 437–455 (1961).Google Scholar

Shepherdson, J.C., Sturgis, H.E.: Computability of recursive functions. J. Assoc. Comp. Mach.10, 217–255 (1963).Google Scholar

Shoenfield, J. R.: Mathematical logic. Reading (Mass.): Addison-Wesley 1967.Google Scholar

Wang, H.: Dominoes and the AEA case of the decision problem. Proc. Symp. on math. theory of automata (New York), 23–55 (1962).Google Scholar

Wirsing, M.: Das Entscheidungsproblem der Prädikatenlogik 1. Stufe mit Identität und Funktionszeichen in Herbrandformeln. Dissertation, Universität München 1976.Google Scholar