BEMERKUNG ZU EINER ARBEIT E. ENGELERS von GEBIIARD FUHRKEN in Berkeley (California) Grundlegend fur ENGELERS Arbeit ,, Unendliche Forrneln in der Modelltheorie" ([2] des Literaturverzeichnisses) ist ein Satzl), der besa.gt : Vorgegeben eine volbtandige Theorie T der ersten Stufe mit hochstens abzahlbar vielen aujlerlogischen Zeichen. Es sei F, (T) die Menge derjenigen Aussagefromen von T, i n denen vo als einzige Variable jrei vorkommt, und es sei Z eine Teilmenge von F,(T). Dann gilt: Ist Z in jedem Modell von T (gleichzeitig) erfullbar, so gibt es eine Aussageform v in F,(T) mit der Eigenschaft, dajl (i) T t Vv, v und (ii) T t-Av,[rp -+ y ] fur jedes y E Z. Im folgenden wird eine vollstiindige Theorie To z, angegeben, dieneben endlich vielen Priidikatenuberabzahlbar viele Individuenkonstanten hat. Es wird ferner eine abzahlbare Teilmenge 2, von F,(T,) aufgezeigt, die in jedem Modell von To erfullbar ist, zu der es aber in F,(T,) kein rp mit den Eigenschaften (i) und (ii) gibt. Die Beschrankung der Anzahl der auBerlogischen Zeichen ist in ENGELERS Satz also notwendig.3) An Hand der Theorie To kann man zugleich zeigen, daB auch in verwandten satzen von EH3ENFEUCHr und von VAUGHT (Theorem2.1 in [ 5 ] ) die BeschrLnkung der Anzahl der auBerlogischen Zeichen notwendig ist .