首页> 外文OA文献 >Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability

【2h】

Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability

机译：两个构造性嵌入扩展定理及其在连续性原理和Banach-Mazur可计算性上的应用

页面导航

著录项
相似文献
相关主题

著录项

作者
Andrej Bauer; Alex Simpson;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability [J] . Andrej Bauer, Alex Simpson Mathematical logic quarterly: MLQ . 2004,第4a5期

机译：两个构造性嵌入-扩展定理及其在连续性原理和Banach-Mazur可计算性上的应用
2. Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics [J] . Velupillai K. Vela Journal of Mathematical Economics . 2014,第Null期

机译：福利经济学（第二个）基本定理的可构造和可计算的Hahn-Banach定理
3. ON A CONTINUITY THEOREM FOR CONSTRUCTIVE FUNCTIONS [J] . A. A. Vladimirov Journal of Mathematical Sciences . 2014,第1期

机译：关于构造函数的连续性定理
4. Factoring Out Intuitionistic Theorems:Continuity Principles and the Uniform Continuity Theorem [C] . Iris Loeb Logic and Theory of Algorithms . 2008

机译：排除直觉定理：连续性原理和一致连续性定理
5. Topics in harmonic analysis and partial differential equations: Extension theorems and geometric maximum principles [D] . Alvarado, Ryan. 2011

机译：谐波分析和部分微分方程的主题：扩展定理和几何最大原则
6. Maximum principles and Bôcher type theorems [O] . Congming Li, Zhigang Wu, Hao Xu 2018

机译：极大原理和Bôcher型定理
7. Principles of continuous choice and continuity of functions in formal systems for constructive mathematics [O] . Beeson Michael J. 1977

机译：构造数学形式系统中的连续选择和功能连续性原则
8. Constructive Proofs of Theorems Relating to: F(x) = y,with Applications. [R] . charnes, a. garcia, c. b. 1975

机译：关于F（x）= y的定理的构造证明，应用。

Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability

著录项

相似文献

相关主题

期刊订阅