Eine Bemerkung zu spektralen Darstellungen von ϱ‐stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃ ∞ und ∀∃ 2 ∀(∞, 1)

In [3] wurde die Frage gestellt, ob sich die q-stelligen rekursiv aufzahlbaren und koaufzahlbaren Pradikate mit allen aus der Reduktionstheorie bekannten Prafix-Signatur-Klassen ohne Benutzung des Gleichheitszeichens bei Hinzunahme von q Mengenvariablen im Sinne von [Z] spektral darstellen lassen. Analog kann man die Frage stellen, ob sich bei allen aus der Reduktionstheorie bekannten Prafix-Signatur-Klassen die einzige zweistellige Pradikatenvariable jeweils ,,f-ahnlich" uber einem transitiven Mengenbereich interpretieren la&. Beide Fragestellungen sind nur noch offen fur die Falle V3V" (q, 1) (bzw. fur den Reduktionstyp V3V" (0,l)) und V3V ( m , l ) . Auch in diesem Beitrag werden die offenen Fragen nicht beantwortet, sondern statt dessen die (erheblich schwacheren) Klassen 3V3V" (@, 1) (bzw. 3V3V" (0,l)) und V j 2 V (a, 1) untersucht, bei denen allerdings die zweistellige Pradikatenvariable im Standardmodell nicht nur ,,E-ahnlich", sondern durch E selbst interpretiert werden kann. Es ergeben sich bislang insgesamt folgende Standardinterpretationen der zweistelligen Pradikatenvariablen bei den einzelnen klassischen konservativen Reduktionstypen uber geeigneten transitiven Mengenbereichen: 1. Bei V3"V (0, 1), 3"V3V (0, l), 3"V33 (0,l) und V33 (a,l) durch E, ferner ebenfalls durch E bei V33V (a, 1) und 3V3V" (0,l). 2. Bei V3V3" (0, l), V33" (0,l) und V"3 (0,l) durch E* mit -