Über einige Satzfunktionen in der Arithmetik. (Q577754)

Verf. betrachtet Ausdrücke, die sich vermittels der Gleichheits-, der Größerkleinerbeziehung, der Aussagenverknüpfungen und der Quantifikatoren ``alle'' und ``es gibt'' aus gewissen arithmetischen Grundfunktionen aufbauen. Diese Grundfunktionen sind Addition, Multiplikation mit konkreten (nicht variablen) rationalen Zahlen, Bildung der größten ganzen Zahl, die kleiner oder gleich einer gegebenen ist. Es wird gezeigt, daß im Bereich dieser Ausdrücke das Entscheidungsproblem lösbar ist. Die bewiesenen Sätze werden benutzt, um die Schwierigkeiten zu beleuchten, auf die man stößt, wenn man versuchen will, den Begriff der ganzen Zahl vollständig zu charakterisieren. (Diese Überlegungen sind übrigens vom Verf. weiter ausgeführt in den beiden Schriften: Norsk Mat. Forenings Skrifter 2, Nr. 10 (1933), 73-82; Fundamenta 23 (1934), 150-161; F. d. M. \(59_{\text I}\), 53; \(60_{\text I}\), 25. Vgl. die betreffenden Referate.) Noch für einen anderen Aussagenbereich kann Verf. das Entscheidungsproblem lösen. Die Elementarbestandteile dieser Aussagen sind aus Gleichungen und Ungleichungen aufgebaut, deren linke und rechte Seiten Potenzprodukte gewisser Variablen mit ganzzahligen Exponenten sind, während außerdem nicht-negative ganze Zahlen als Koeffizienten der Potenzprodukte auftreten. Die Entscheidung geschieht durch Zurückführung auf den zuerst behandelten Fall. Die erzielten Ergebnisse lassen sich auf Aussagen über die Ideale eines algebraischen Zahlkörpers übertragen.