机译:可计算性理论,非标准分析及其联系
Univ Oslo Dept Math POB 1053 N-0316 Oslo Norway;
Tech Univ Darmstadt Dept Math Schlossgartenstr 7 D-64289 Darmstadt Germany;
Nonstandard Analysis; higher-order computability theory; higher-order arithmetic; fan functionals;
机译:可计算性理论,非标准分析及其联系
机译:k余弦场理论中的非标准连接
机译:通过转移原理对某些收敛序列理论的非标准分析
机译:从非标准分析到可计算性理论的各种形式
机译:非标准分析在马尔可夫过程和统计决策理论中的应用
机译:关于项目响应理论与古典测试的联系理论:通过项目响应的多种物品真实分数评估的说明造型
机译:可计算性理论紧凑性和非标准分析的强度
机译:标准与非标准马尔可夫控制问题的线性规划综述。第1部分。理论