Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten

DOI10.1002/MALQ.19890350204MaRDI QIDQ4206707zbMATH OpenOpenAlexFDO

Authors Michael Deutsch

Publication date 1989

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

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

zbMATH Keywords

finite satisfiabilitytransitive modelreduction typespectrum of a formula

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Model theory of denumerable and separable structures (03C15) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• 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)
• Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1)
• Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1)
• EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN

Cited in

(6)

• EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN
• Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1)
• Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1)
• 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)
• Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1)

This page was built for publication: Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃^∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten

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