Untersuchungen über das Entscheidungsproblem der mathematischen Logik. (Q2595477)

Die vorliegende Arbeit, eine Fortsetzung der früheren Abhandlung des Verf. ``Beiträge zur Reduktionstheorie des logischen Entscheidungsproblems'' (Acta Litt. Sci. Univ. Szeged, Sect. Sci. math. 8 (1936), 7-41; F. d. M. 62\(_{\text{II}}\)), bringt eine Reihe von neuen wichtigen Reduktionssätzen zum Entscheidungsproblem. Von den zahlreichen Ergebnissen erwähnen wir nur folgendes: 1) Bei der vom Ref. (Math. Ann. 112 (1936), 419-432; F. d. M. 62\(_{\text{I}}\), 41) für das Erfüllbarkeitsproblem aufgestellten Normalform mit einem Präfix \[ (Ex)\; (y)\; (Ez) (u_1)\dots (u_n) \] braucht man nur eine einstellige und drei zweistellige Prädikatvariable in Betracht zu ziehen. 2) Es wird eine neue Normalform mit einem Präfix \[ (x)\;(y)\;(Ez)\;(u_1)\dots (u_n) \] aufgestellt, bei der der ganze Ausdruck nur zwei zweistellige und eine einstellige Prädikatvariable enthält.