...
机译:改进了弱鸽洞原理的边界,以及弱公理中的无限多个素数
Weak pigeonhole principle; Bounded-depth Frege; Bounded arithmetic;
机译:改进了弱鸽洞原理的边界,以及弱公理中的无限多个素数
机译:较弱的信鸽原理的边界深度弗雷格下界
机译:弱鸽洞原理的高分辨率下界
机译:改进了弱鸽子原理的边界,并且来自弱分子的无限素质
机译:集合论中平方的弱变体与其他组合原理之间的相互作用
机译:伪弱R的公理独立性0代数和过滤器
机译:关于弱鸽洞原理和弱公理的无限多个质数的改进界