一类部分保守语句

我们研究了对于各种合理的 $(\Gamma, \Theta)$ 对，是否存在一个 $\Theta$ 语句，它同时是关于一致 RE 扩张 $T$ 和 $U$ 的皮亚诺算术的 $\Gamma$-保守的。作为这项研究的结果，我们证明了一个语句的存在性，它本质上是 $\Theta$ 且恰好是遗传地 $\Gamma$-保守的，适用于任意单个理论 $T$，其中 $(\Gamma, \Theta)$ 取各种合理对。这是 Guaspari 问题的肯定回答。