机译:关于直觉有界算术的层次结构
Department of Mathematics, Shahid Beheshti University, Evin, Tehran, Iran;
bounded arithmetic; intuitionistic logic; polynomial hierarchy; kripke model;
机译:直觉有界算术的独立结果
机译:直觉有界算术中的多项式归纳和长度最小化
机译:多项式层次结构中的多项式本地搜索。 在有界算术的碎片中见证
机译:从正直觉有界算术到单调证明复杂性
机译:具有可预测的绑定预测的正式直觉集合论。
机译:具有两个参数的算术和几何均值表示特殊拟算术均值的尖锐边界
机译:多项式层次和直觉有界算术