加载中…
We study the existence of a sentence which is simultaneously -conservative over consistent RE extensions and of Peano Arithmetic for various reasonable pairs . As a result of this study, we prove the existence of a sentence which is essentially and exactly hereditarily -conservative over any single theory for various reasonable pairs . This is an affirmative answer to Guaspari’s question.

生成讲解博客的中文版本

生成AI智能校验的中文版本