节点文献

可交换范畴理论的一个结构定理(英文)

A Structure Theorem of Exchangable and Categorical Theories

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 TONG Xue~(1,*),SHEN Fuxing~(2,**),LI Yongqiang~(3,***) (1.Mathematics and Physics School,North China Electric Power University,Beijing,102206,P.R. China;2.College of Information Science and Technology,Beijing Normal University,Beijing,100875, P.R.China;3.The State Key Laboratory of Information Security,Institute of Software,Chinese Academy of Sciences,Beijing,100190,P.R.China)

【机构】华北电力大学数理学院；北京师范大学信息科学技术学院；中国科学院软件研究所信息安全国家重点实验室；

【摘要】本文研究了可交换范畴理论的结构,得到了如下主要结果:(1)如果T是可交换范畴理论,那么T有一个强极小有限生成系统.(2)如果T(在L中)是可交换范畴理论,那么有一个有限的L0■L使得对所有满足L0■L′■L的L′,T|L′,亦为范畴理论.更多还原

【Abstract】 :This paper studies the structure of exchangable and categorical theories and obtains the following main results:（1） If T is exchangable and categorical（over countable or uncountable language）,then T has a strongly minimal finitely generating system.（2） If T （in L） is exchangable and categorical,then there is a finite L₀■L such that for all L’ with Lo■ L’■ L,T|_L’ is also categorical.更多还原

【关键词】范畴理论；可交换理论；强极小公式；极小公式；强极小生成系统；
【Key words】 categorical theory； exchangable theory； strongly minimal formula； minimal formula； strongly minimal finitely generating system；

【文献出处】数学进展 ,Advances in Mathematics , 编辑部邮箱 ,2013年03期

【分类号】O154.1
【被引频次】1
【下载频次】34

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献