English

A variety of partially conservative sentences

Logic 2025-01-20 v2

Abstract

We study the existence of a Θ\Theta sentence which is simultaneously Γ\Gamma-conservative over consistent RE extensions TT and UU of Peano Arithmetic for various reasonable pairs (Γ,Θ)(\Gamma, \Theta). As a result of this study, we prove the existence of a sentence which is essentially Θ\Theta and exactly hereditarily Γ\Gamma-conservative over any single theory TT for various reasonable pairs (Γ,Θ)(\Gamma, \Theta). 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