Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1)

DOI10.1002/MALQ.19860323503zbMATH Open0591.03004OpenAlexW2083644517MaRDI QIDQ3718679FDOQ3718679

Authors: Michael Deutsch 

Publication date: 1986

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19860323503

Recommendations

• Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1)
• Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃^∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten
• Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten
• Zum Reduktionstyp ∃^∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃^∞∀∃∀ (ϱ, 1)
• EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN

zbMATH Keywords

interpretationsatisfiabilityfinite satisfiabilityconservative reduction type

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cited In (3)

• Title not available (Why is that?)
• Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1)
• Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃^∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten

This page was built for publication: Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3718679)