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

DOI10.1002/MALQ.19890350204zbMATH Open0688.03006OpenAlexW1987822455MaRDI QIDQ4206707FDOQ4206707

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

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

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)

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)