Logical operations and projective sets (Q571653)

Eine Menge heißt bekanntlich nach \textit{Lusin} ``projektiv'', wenn man sie, ausgehend von einer abgeschlossenen Menge, dadurch erzeugen kann, daß man endlich oft senkrechte Projektion und Übergang zur Komplementärmenge anwendet. Die Verf. bezeichnen eine Satzfunktion \(\varphi (x_1,\ldots, x_n)\) von \(n\) reellen Veränderlichen als ``projektiv'', wenn die Menge der Punkte des \(n\)-dimensionalen Raumes, die \(\varphi\) erfüllen, projektiv ist, und sie beweisen: Werden die fünf logischen Grundoperationen auf projektive Satzfunktionen ausgeübt, so gelangt man stets wieder zu projektiven Satzfunktionen. (I 2.)