2. 您的位置
3. 首页
4. 期刊论文
5. A HIERARCHY OF AXIOM SYSTEM ACG

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# a

【作 者】

：

张锦文 

【机 构】

：

InstituteofSoftware,AcademiaSinica

【出 处】

：

中国科学：数学英文版

【发表日期】

：

1990年2期

【关键词】

：

HIERARCHY CONSISTENCY AXIOM SCHEMA of predicative comprehension. hierarchy  cons 

【基金项目】

：

Research supported in part by the National Natural Science Foundation of China

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

GLAUBERMAN’S CONJECTURE,MAZUROV’S PROBLEM AND PENG’S PROBLEM

This paper is to solve affirmatively Glauberman’s conjecture, Mazurov’s problem andPeng’s problem.

期刊

GENERALIZEDFITTINGSUBGROUPsimplegroupp-block.generalized fitting subgroups

GENERATORS OF VECTOR FIELDS AND TIME DEPENDENT SYMMETRIES OF EVOLUTION EQUATIONS

In this paper, the conception of generators of vector fields with the general characteris-tic is introduced and the correspondence with time dependent symmetrie

期刊

LIEDERIVATIVEHEREDITARYSYMMETRYgeneratortimeDEPENDENTSYMMETRYLie derivat

ON INDECOMPOSABLE MODULES OVER A REPRESENTATION-FINITE TRIVIAL EXTENSION ALGEBRA

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,

期刊

representation-finiteTRIVIALEXTENSIONAuslander-ReitenQUIVERLoewyfactors.r

PROOF OF ONE CONJECTURE OF R.S.SINGH:DISCRETE CASE

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

期刊

empiricalBAYESestimationsquarederrorlossCONVERGENCEratesDISCRETEEXPONEN

ALGEBRAIC INDEPENDENCE OF CERTAIN NUMBERS RELATED TO LIOUVILLE NUMBERS

In this paper, we develop an algebraic independence method originated from a work of Mordoukhay-Boltovskoy, which allows us to establish the algebraic independe

期刊

LIOUVILLEnumberKummertheoryTRANSCENDENCEmeasureALGEBRAICindependence.Lio

GLOBAL CLASSICAL SOLUTIONS TO TYPICAL FREE-BOUNDARY PROBLEMS FOR QUASILINEAR HYPERBOLIC SYSTEMS

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

期刊

GLOBALCLASSICALsolutionfree-boundaryPROBLEMQUASILINEARHYPERBOLICsystem.g

COMPARISON BETWEEN MAXIMAL FUNCTION AND SQUARE FUNCTION ON POSITIVELY CURVED MANIFOLDS

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

期刊

MAXIMALFUNCTIONsquareFUNCTIONCARLESONMEASUREmanifold.maximal function sq

THE NECESSARY AND SUFFICIENT CONDITION OF H-GRAPH AND THE OPTIMIZING MODELS OF MINIMUM H-CIRCUIT

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

期刊

HAMILTONIANCIRCUITincidencematrixINTEGERprogrammingdigraph.Hamiltonian ci

ISOMORPHISMS BETWEEN ENDOMORPHISM RINGS OF FREE MODULES

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

期刊

freemodulesSEMI-LINEARISOMORPHISMSENDOMORPHISMSSTRICTISOMORPHISMSCATEGORY

STABILITY, BOUNDEDNESS, DISSIPATION OF PARTIAL VARIABLES FOR NONLINEAR SYSTEMS WITH SEPARATING VARIA

The global stability, boundedness and dissipation are studied with respect to partial variables of the following nonlinear autonomous systems: and applications

期刊

nonlinearsystemwithSEPARATINGVARIABLESPARTIALglobalSTABILITYPARTIALBOUN