理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-5 共查到数理逻辑与数学基础 Characterization相关记录5条 . 查询时间(0.093 秒)
In this paper we present a result which establishes a connection between the theory of compact operators and the theory of iterated function systems. For a Banach space X, S and T bounded linear oper...
In this paper we present a new characterization of Sobolev spaces on Euclidian spaces ($\mathbb{R}^n$). Our characterizing condition is obtained via a quadratic multiscale expression which exploits t...
We give a characterization of Inoue surfaces in terms of automorphic pluriharmonic functions on a cyclic covering. Together with results of Chiose and Toma, this completes the classification of compac...
We show that if G is a finite group then no chain of modular elements in its subgroup lattice L(G) is longer than a chief series. Also, we show that if G is a nonsolvable finite group then every maxi...
Steprans provided a characterization of betaN\N in the aleph_2-Cohen model that is much in the spirit of Parovicenko's characterization of this space under CH. A variety of the topological results est...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...