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

DOI10.1002/malq.19890350607zbMath0718.03023MaRDI QIDQ5749281

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 formula; representation of recursively enumerable predicates

Mathematics Subject Classification ID

03D05: Automata and formal grammars in connection with logical questions

03D25: Recursively (computably) enumerable sets and degrees

03C30: Other model constructions