尼罗德，阿尼尔;理查德·肖尔（Richard A.Shore）。 可约序的二阶逻辑和一阶理论。 （英语） Zbl 0465.03024号 克莱恩交响乐团。，程序。，麦迪逊/威斯康星州，1978年，《发现逻辑研究》。数学。，第101卷，181-200（1980）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于16文件 MSC公司： 03日30分 可计算性和递归理论中的其他度和可约性 03B15号机组 高阶逻辑；类型理论（MSC2010） 关键词：图灵度;二阶算术;初始度数段;编码;n元关系量词;理想上的量词 引文：Zbl 0436.00007号 PDF格式BibTeX公司 XML格式