Weitere Verschärfungen zu den Reduktionstypen ∀∃∞∀(0,1), ∃∞∀3∃(∞, 1)

DOI10.1002/MALQ.19900360408MaRDI QIDQ5202646zbMATH OpenOpenAlexFDO

Authors Michael Deutsch

Publication date 1990

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

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

zbMATH Keywords

first-order logic without equalityreduction typesregister machinesimulation methodspectral representations of \(\rho \) -ary predicates

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Other classical first-order model theory (03C68) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

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

Cited in

(1)

• EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN

This page was built for publication: Weitere Verschärfungen zu den Reduktionstypen ∀∃^∞∀(0,1), ∃^∞∀³∃(∞, 1)

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