机译:两个构造性嵌入-扩展定理及其在连续性原理和Banach-Mazur可计算性上的应用
Constructive mathematics; computable metric spaces; effective topos;
机译:两个构造性嵌入-扩展定理及其在连续性原理和Banach-Mazur可计算性上的应用
机译:关于构造函数的连续性定理
机译:具有统一顺序连续性的Brouwer固定点定理的建设性版本证明
机译:排除直觉定理:连续性原理和一致连续性定理
机译:谐波分析和部分微分方程的主题:扩展定理和几何最大原则
机译:极大原理和Bôcher型定理
机译:两个构造性嵌入扩展定理及其在连续性原理和Banach-Mazur可计算性上的应用
机译:关于F(x)= y的定理的构造证明,应用。