薄荷,G.E。 具有选择公理的二阶经典逻辑的范式定理。 (英语。俄文原件) 兹比尔0850.03053 数学。苏联,伊兹夫。 32,第3期,587-605(1989年); Izv的翻译。阿卡德。Nauk SSSR,序列号。材料52,第3号,581-600(1988年)。 请参阅中的评论Zbl 0654.03041号. 引用于1审查 MSC公司: 05年3月 切割消除和正规形定理 关键词:二阶逻辑;选择公理;ε符号;切削消除;吸收,吸收;无割导数;半估价 引文:Zbl 0537.03038号;Zbl 0357.02027号;Zbl 0336.02027号;Zbl 0654.03041号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Mints},数学。苏联,伊兹夫。32,第3号,587--605(1988;Zbl 0850.03053);Izv的翻译。阿卡德。Nauk SSSR,序列号。材料52,编号3,581--600(1988) 全文: 内政部