论文标题
完善经典原则的算术层次结构
Refining the arithmetical hierarchy of classical principles
论文作者
论文摘要
我们通过精心研究了这些原理之间的衍生性关系而不是激怒算术，从而完善了各种经典原理的算术层次结构。我们主要研究了排除中间，德摩根定律，双重否定，收集原理和恒定域公理的一些受限制版本。
We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly investigate some restricted versions of the law of excluded middle, de Morgan's law, the double negation elimination, the collection principle and the constant domain axiom.
