Erratum to ``The Ricean objection: An analogue of Rice's theorem for first-order theories.

DOI10.1093/JIGPAL/JZP030MaRDI QIDQ3653149zbMATH OpenOpenAlexFDO

Authors Igor C. Oliveira, Walter Carnielli

Publication date 18 December 2009

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzp030

zbMATH Keywords

Rice's theoremTuring machineundecidable

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35)

Recommendations

• The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
• Corrigendum to: ``The d.r.e. degrees are not dense
• scientific article; zbMATH DE number 4130378
• Analogues of Rice's theorem for semantic classes of propositions
• Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic

Cited in

(3)

• scientific article; zbMATH DE number 4130378 (Why is no real title available?)
• Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics
• The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories

This page was built for publication: Erratum to ``The Ricean objection: An analogue of Rice's theorem for first-order theories.

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