首页>
外文OA文献
>An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $Pi^1_1$-Analysis with $omega$-rule (Proof theoretical study of the structure of logic and computation)
【2h】
An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $Pi^1_1$-Analysis with $omega$-rule (Proof theoretical study of the structure of logic and computation)
展开▼
机译:$ Pi ^ 1_1 $-带有$ omega $规则的分析子系统的割除定理的无序证明(逻辑和计算结构的证明理论研究)