Literatur
Löwenheim, Über Möglichkeiten im Relativkalkül, Math. Annalen76 (1915); Skolem, Untersuchungen über die Axiome des Klassenkalküls, Oslo Vidensk. Skrifter I. Math-nat. Klasse 1919, Nr.3; Behmann, Beiträge zur Algebra der Logik und zum Entscheidungsproblem, Math. Annalen86 (1922).
Die im folgenden benutzte Methode der Wegschaffung von All- und Seinszeichen hat bereits mehrfach Anwendung gefunden, z. B. bei Presburger und Herbrand; vgl. Presburger, Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, Compt. Rend. du premier Congr. d. Math. des Pays Slaves 1929, Warschau 1930; Herbrand, Recherches sur la théorie de la démonstration, Paris 1930. Presburger zitiert seinerseits als Vorläufer Skolem und Langford.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ackermann, W. Untersuchungen über das Eliminationsproblem der mathematischen Logik. Math. Ann. 110, 390–413 (1935). https://doi.org/10.1007/BF01448035
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01448035