A restricted analog of the third level of Rice's theorem for semantic classes of sentences

DOI10.1007/BF02260876zbMath0796.03038OpenAlexW1966670560MaRDI QIDQ1320692

S. S. Zaurbekov

Publication date: 18 May 1994

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187639

zbMATH Keywords

\(m\)-reducibility of arithmetic setsthird level analog of Rice's theorem

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Cites Work

• The number of finitely axiomatizable completions
• Unnamed Item

This page was built for publication: A restricted analog of the third level of Rice's theorem for semantic classes of sentences