A variety of partially conservative sentences
Logic
2025-01-20 v2
Abstract
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.
Keywords
Cite
@article{arxiv.2412.08208,
title = {A variety of partially conservative sentences},
author = {Haruka Kogure and Taishi Kurahashi},
journal= {arXiv preprint arXiv:2412.08208},
year = {2025}
}
Comments
41 pages