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 satisfiabilityreduction typespectrum of a formulatransitive model

Mathematics Subject Classification ID

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

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

(7)

• 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
• Eine Bemerkung Zur Spektralen Darstellung 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
• Weitere Verschärfungen zu den Reduktionstypen ∀∃^∞∀(0,1), ∃^∞∀³∃(∞, 1)
• Zum Reduktionstyp ∃^∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger 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)