Cornell University.;
机译:超算术分析定理与算术Bolzano-Weierstrass定理的比较
机译:超级算法中的部分可判定演示文稿
机译:关于$ {{ rm { sigma}} _ 2}的可辨iciabity,算术和超级算法学位的理论为Uppersemilattices
机译:正式化自动化的可辨iciancy定理
机译:半线性椭圆型方程解的爆破分析和分类定理。
机译:贝尔定理和观点之间的可判定性问题 爱因斯坦和玻尔的
机译:具有两个超算术模型的可确定的Ehrenfeucht理论