理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-7 共查到数理逻辑与数学基础 equivalence相关记录7条 . 查询时间(0.126 秒)
The space of homomorphisms from a projective object to a Verma module in category O inherits an induced filtration from the Jantzen filtration on the Verma module. On the other hand there is the Ande...
We settle a long standing issue concerning the traditional derivation of non-compact non-linear sigma models in the theory of disordered electron systems: the hyperbolic Hubbard-Stratonovich (HS) tran...
We prove that existence of a k-rational point can be detected by the stable A^1-homotopy category of S^1-spectra
In this paper, two stability results regarding exponential frames are compared.The theorems, (one proven herein, and the other in [3]), each give a constant such that if supn∈Z kenk&yen; < C, and (eih...
We demonstrate that the question whether or not a given topological ramified covering map of the 2-sphere is Thurston equivalent to a rational map is algorithmically decidable.
We know that an operator $T$ acting on a Banach space satisfying generalized Weyl's theorem also satisfies Weyl's theorem. Conversely we show that if all isolated eigenvalues of $T$ are poles of its r...
Constrained hamiltonian structure of noncommutative gauge theory for the gauge group U(1) is discussed. Constraints are shown to be first class, although, they do not give an Abelian algebra in terms...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...