机译:欣德曼定理,超滤波器和逆数学
hindman’s Theorem; milliken’s Theorem; reverse mathematics; computability;
机译:欣德曼定理,超滤波器和逆数学
机译:欣德曼定理:二阶算术中的超滤参数
机译:逆数学中的超滤器
机译:关于辛德曼定理某些限制的强度的新界限
机译:关于弱形式系统(WAERDEN,SZEMEREDI,HINDMAN)中的RAMSEY型定理及其可证明性。
机译:自然选择和人工选择的数学理论第X部分。关于人工选择的一些定理
机译:欣德曼定理:二阶算术中的超滤器参数