Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories” Logic Journal of the IGPL, 16: 585–590 [Book Review]

Logic Journal of the IGPL 17 (6):803-804 (2009)

Authors
Walter Carnielli
University of Campinas
Abstract
This note clarifies an error in the proof of the main theorem of “The Ricean Objection: An Analogue of Rice’s Theorem for First-Order Theories”, Logic Journal of the IGPL, 16(6): 585–590(2008)
Keywords RIce's theorem
Categories (categorize this paper)
DOI 10.1093/jigpal/jzp030
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

An Analogue of the Baire Category Theorem.Philipp Hieronymi - 2013 - Journal of Symbolic Logic 78 (1):207-213.
On the Search for a Finitizable Algebraization of First Order Logic.I. Sain - 2000 - Logic Journal of the IGPL 8 (4):497-591.
Abductive Equivalence in First-Order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
On Minimal Models.Francicleber Ferreira & Ana Teresa Martins - 2007 - Logic Journal of the IGPL 15 (5-6):503-526.
The Road to Two Theorems of Logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
On Skolemization in Constructive Theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
A Bizarre Property Equivalent To The -Fan Theorem.Josef Berger & Douglas Bridges - 2006 - Logic Journal of the IGPL 14 (6):867-871.
A Note on a Theorem of Ax.Piotr Kowalski - 2008 - Annals of Pure and Applied Logic 156 (1):96-109.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.

Analytics

Added to PP index
2015-02-04

Total views
140 ( #58,894 of 2,286,035 )

Recent downloads (6 months)
54 ( #16,325 of 2,286,035 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature