A HIERARCHY OF AXIOM SYSTEM ACG

来源 :中国科学:数学英文版 | 被引量 : 0次 | 上传用户:gu999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The study on the foundation of category was started in 1986, and the axiom system AGC has been developed for congolomerates. The consistency of the system ZF# and QM in the system ACG has been proved. A hierarchy of the systems: B0, B1,…,B. (n ∈ω),… is de
其他文献
This paper is to solve affirmatively Glauberman’s conjecture, Mazurov’s problem andPeng’s problem.
In this paper, the conception of generators of vector fields with the general characteris-tic is introduced and the correspondence with time dependent symmetrie
Let T(A)=A?D(A) be a representation-finite trivial extension algebra. We haveproved: (i) every indecomposable module of T(A) is determined by its top and socle,
Convergence rates of empirical Bayes(EB) estimators w-r-t the squared efror loss are con sidered in discrete exponential families. It is shown that a rate O(n<sup
In this paper, we develop an algebraic independence method originated from a work of Mordoukhay-Boltovskoy, which allows us to establish the algebraic independe
In this paper the authors prove the existence and uniqueness of global classical solutions to some kinds of typical boundary-value problems and typical free-bou
Comparisons between maximal and square functions afford a basis for study of the theory of Hardy spaces. In this paper, we establish such a comparison relation
In this paper, by the optimization method, we establish the integer programming mod-els of several famous problems of graph theory, such as the necessary and su
In this paper we give the following main results: (ⅰ) Let F(?) and G(?) be two free modules. Then F(?) and G(?) are semi-linearly isomorphic if and only if End
The global stability, boundedness and dissipation are studied with respect to partial variables of the following nonlinear autonomous systems: and applications