Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" * Logic Journal of the IGPL, 16(6): 585-590(2008)

DOI10.1093/JIGPAL/JZP030zbMATH Open1181.03046OpenAlexW2052803728MaRDI QIDQ3653149

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

Turing machineRice's theoremundecidable

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35)

Related Items (1)

Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics

This page was built for publication: Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" * Logic Journal of the IGPL, 16(6): 585-590(2008)

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