Literatur
Ackermann, W.: Solvable cases of the decision problem. Amsterdam 1954.
Davis, M., Putnam, H., Robinson, J.: The decision problem for exponential diophantine equations. Ann. of Math.74 (1961), 425–436.
Kostyrko, V.F.: Klass sve lenia ∀∃n∀ Algebra i Logika Seminar 3 (1964), 45–65.
Matijasevič, J.: Enumerable sets are diophantine, Dokl. Akad. Nauk SSSR191 (1970), 354–358.
Suranyi, J.: Reduktionstheorie des Entscheidungsproblems, Budapest 1959.
Trachtenbrot, B.A.: Nevozmožnost' algorithma dl'a problemy razrešimosti na konečnych klassach. Doklady akademii Nauk SSSR70 (1950), 569–573.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Deutsch, M. Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe. Arch math Logik 17, 9–16 (1975). https://doi.org/10.1007/BF02280807
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02280807