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)
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)Author's Profile
DOI
10.1093/jigpal/jzp030
My notes
Similar books and articles
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.Igor Oliveira & Walter Carnielli - 2008 - Logic Journal of the IGPL 16 (6):585-590.
Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory.F. Stephan & B. Borchert - 2000 - Mathematical Logic Quarterly 46 (4):489-504.
Theorem proving for untyped constructive λ-calculus: implementation and application.A. Ramsay - 2001 - Logic Journal of the IGPL 9 (1):83-100.
How to avoid the formal verification of a theorem prover.A. Avellone, M. Benini & U. Moscato - 2001 - Logic Journal of the IGPL 9 (1):1-25.
An Interpolation Theorem for First Order Logic with Infinitary Predicates.Tarek Sayed-Ahmed - 2007 - Logic Journal of the IGPL 15 (1):21-32.
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.
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.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Uncountable theories that are categorical in a higher power.Michael Chris Laskowski - 1988 - Journal of Symbolic Logic 53 (2):512-530.
Analytics
Added to PP
2015-02-04
Downloads
302 (#39,787)
6 months
30 (#42,027)
2015-02-04
Downloads
302 (#39,787)
6 months
30 (#42,027)
Historical graph of downloads
Author's Profile
Citations of this work
Gödel’s Incompleteness Phenomenon—Computationally.Saeed Salehi - 2014 - Philosophia Scientae 18:23-37.
References found in this work
On the relation provable equivalence and on partitions in effectively inseparable sets.Claudio Bernardi - 1981 - Studia Logica 40 (1):29 - 37.