On the reduction of the decision problem. I: Ackermann prefix, a single binary predicate. (Q2590253)

Vom Ref. wurde gezeigt (Math. Ann. 112 (1936), 419-432; F. d. M. \(62_{\text{I}}\), 41), daß man sich beim Entscheidungsproblem auf solche Formeln beschränken kann, die ein Präfix der Form \[ (Ex_1)\, (x_2) \, (Ex_3) \, (x_4) \cdots (x_m) \] haben. Verf. erweitert diesen Satz in der Weise, daß er zeigt, daß man bei der zum obigen Präfix gehörigen Matrix mit einem einzigen binären Prädikat auskommt.