Abstract
In this paper we study a new relation between sentences: transducibility. The idea of transducibility is based on an analysis of Feferman's Theorem that the inconsistency of a theory U is interpretable over U. Transducibility is based on a converse of Feferman's Theorem: if a sentence is interpretable over a
... read more