机译:无限二叉树上的选择函数和良好排序:开放数学
Monadic second-order logicDefinabilityChoice function;
机译:无限二叉树上的选择函数和良好排序
机译:通过选择语言描述作为数学对象进行智能放大(问题树-答案系统的二叉树)
机译:二进制搜索树和随机递归树的边缘树功能的极限定律
机译:无限二叉树上的MSO:选择和顺序
机译:评估对功能概念的理解:一项比较预期中学数学教师对多项选择题和构造题的反应的研究。
机译:极性和非极性液体无限稀释的二元扩散系数的预测模型
机译:无限二叉树上的选择函数和良好排序