Zum Reduktionstyp ∃∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀ (ϱ, 1)

DOI10.1002/MALQ.19890350607MaRDI QIDQ5749281zbMATH 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.19890350607

zbMATH Keywords

reduction type of first-order formularepresentation of recursively enumerable predicates

Mathematics Subject Classification ID

Other model constructions (03C30) Automata and formal grammars in connection with logical questions (03D05) Recursively (computably) enumerable sets and degrees (03D25)

Recommendations

• Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ε∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1)
• Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten
• Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃^∞ (0, 1) 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)
• Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1)

Cited in

(14)

• Expressibility in the elementary theory of recursively enumerable sets with realizability logic
• On first-order expressibility of satisfiability in submodels
• Set-syllogistics meet combinatorics
• Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞ und ∀∃2∀(∞, 1)
• 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
• scientific article; zbMATH DE number 4033722 (Why is no real title available?)
• Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1)
• Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ε∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1)
• scientific article; zbMATH DE number 52574 (Why is no real title available?)
• Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃^∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten
• 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)

This page was built for publication: Zum Reduktionstyp ∃^∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃^∞∀∃∀ (ϱ, 1)

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