Faith & Falsity. A study of faithful interpretations and false Σ01-sentences
Albert Visser · Logic Group preprint series · 2002
A theory T is trustworthy iff, whenever a theory U is interpretable in T, then it is faithfully interpretable. In this paper we provide a characterization of trustworthiness. We provide a simple proof of Friedman’s Theorem that finitely axiomatized, sequential, consistent theories are trustworthy. We provide an example of a theory whose schematic predicate logic is complete II02