Eine Bemerkung zur Entscheidungstheorie. (Q1834558)

Eine besonders wichtige Aufgabe der mathematischen Logik ist es, die Erfüllbarkeit der sogenannten Zählausdrücke zu studieren. Zum Unterschied von den früheren Untersuchungen dieser Art betrachtet der Verf. den Fall, wo auch die Identitätsfunktion im Zählausdruck auftritt. Er gibt ein Verfahren an, mit dessen Hilfe er die Frage der Erfüllbarkeit eines solchen Ausdrucks auf die Frage der Erfüllbarkeit eines anderen Zählausdrucks zurückführen kann, worin die Identitätsfunktion nicht mehr vorkommt. Nach einer Bemerkung von \textit{Bernays} und \textit{Schönfinkel}, die der Verf. zitiert, ist jeder Ausdruck der letzteren Art in jedem Bereiche erfüllbar, dessen Mächtigkeit \(\geqq m\) ist, wenn er in einem Bereiche der Mächtigkeit m erfüllbar ist; für die Ausdrücke dagegen, worin die Identitätsfunktion auftritt, gilt dies nicht, wie der Verf. durch ein einfaches Beispiel zeigt. Zum Schlüsse gibt er an, wie man die von Löwenheim angegebene Reduktion der Zählausdrücke mit Satzfunktionen von mehreren Veränderlichen auf Ausdrücke, deren Satzfunktionen höchstens zwei Argumente haben, etwas vereinfachen kann. Dabei werden die ursprünglich gegebenen Satzfunktionen zu Funktionen mit einem einzigen Argument, während gewisse neue Hilfsfunktionen zweier Veränderlichen hinzutreten, darunter die Identitätsfunktion. (II.)