...
机译:构造逆数学中的Kronecker密度定理和无理数
机译:构造逆数学中的Kronecker密度定理和无理数
机译:建设性逆转数学中的二进制扩展和中等价值定理
机译:具有代数无理参数的Hurwitz zeta函数的解析函数的极限定理:开放数学
机译:时空的度量化定理:Prom Urysohn对物理有用的构造数学的问题
机译:使用John,Rademacher和Kronecker定理(Fritz John,Hans Rademacher,Leopold Kronecker)对某些无限级数进行评估。
机译:与无理数有关的一些定理
机译:非正式构造逆数学(在计算机上进行数学分析的理论论证的可行性)
机译:关于F(x)= y的定理的构造证明,应用。