Abstract
We investigate sentences which are simultaneously partially conservative over several theories. First, we generalize Bennet's results on this topic to the case of more than two theories. In particular, for any finite family {Ti}i≤k of consistent r.e. extensions of Peano Arithmetic, we give a necessary and sufficient condition for the
... read more