Abstract

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