论文标题
保守性光谱和广义Ignatiev模型
Conservativity spectra and generalized Ignatiev model
论文作者
论文摘要
我们研究了算术理论的保守性谱系概念的概括，以传递许多真理定义的语言。我们建立了保守性光谱的对应关系以及由D.Fernández-Duque和J. Joosten引入和研究的广义点火模型的点。我们还证明了所谓的Schmerl公式，用于迭代反思原理。
We study a generalization of the notion of conservativity spectrum of an arithmetical theory to a language with transfinitely many truth definitions. We establish a correspondence of conservativity spectra and points of a generalized Ignatied model introduced and studied by D. Fernández-Duque and J. Joosten. We also prove the so-called Schmerl formulas for iterated reflection principles of predicative strength.
