The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories

DOI10.1093/JIGPAL/JZN023zbMATH Open1159.03028OpenAlexW2006686496MaRDI QIDQ5504122

Igor C. Oliveira, Walter Carnielli

Publication date: 21 January 2009

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

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

zbMATH Keywords

Turing machineRice's theoremundecidable

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35)

This page was built for publication: 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 Q5504122)