Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ϵ∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1)

✍ Scribed by Michael Deutsch

• Publisher: John Wiley and Sons
• Year: 1988
• Tongue: English
• Weight: 659 KB
• Volume: 34
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19880340209

✦ Synopsis

EINE BEMERKUNG ZUR SPEKTRALEN DARSTELLUNG VON e-STELLIGEN AUFZBHLBAREN UND KOAUFZAHLBAREN PRBDIKATEN DURCH AUSDROCKE AUS 3"V33(e, l), Vm3(e, 1) UND V33(co, 1) von MICHAEL DEUTSCH in Bremen (BRD)

Einleitung

In der Reduktionstheorie der Pradikatenlogik ist das Prafix-Signatur-Problem in-, zwischen gelost, nicht jedoch fur die eng verwandte Frage, mit welchen Priifix-Signatur-Klassen sich die rekursiv-aufzahlbaren Pradikate im Sinne TRACHTENBROTS spektral darstellen lassen. Als Beitrag zu diesem Problemkreis werden hier die Falle betrachtet, die den sogenannten Suranyi-Reduktionstypen entsprechen. Analog zu [3], [4], 151 gelingt es auch hier, Standardmodelle iiber Mengenbereichen anzugeben, bei denen die verwendete einzige zweistellige Hilfsvariable ,,E-ahnlich" interpretiert wird.

Definition.