Please wait a minute...
北京大学期刊网 | 作者  审稿人  工作人员

首页   |   关于   |   浏览   |   投稿指南   |   新闻公告
数学进展
论文
可交换范畴理论的一个结构定理
A Structure Theorem of Exchangable and Categorical Theories

童雪1,沈复兴2,李永强3
TONG Xue1,*, SHEN Fuxing2,**,LI Yongqiang3,***

1. 华北电力大学数理学院, 北京, 102206; 2. 北京师范大学信息科学技术学院, 北京, 100875; 3. 中国科学院软件研究所信息安全国家重点实验室, 北京, 100190
1. Mathematics and Physics School, North ChinaElectric Power University, Beijing, 102206, P. R. China;
2. College of Information Science and Technology, Beijing NormalUniversity, Beijing, 100875, P. R. China;
3. The State Key Laboratory of In

收稿日期: 2010-12-08
出版日期: 2013-06-25
DOI: 10.11845/sxjz.2010187b

52
浏览

引用导出
E-mail这篇文章
E-mail提醒
RSS订阅

摘要 本文研究了可交换范畴理论的结构,得到了如下主要结果: (1)如果$T$是可交换范畴理论,那么$T$有一个强极小有限生成系统. (2) 如果$T$(在$\mathcal{L}$中)是可交换范畴理论, 那么有一个有限的$\mathcal{L}_{0}\subseteq\mathcal{L}$ 使得对所有满足$\mathcal{L}_{0}\subseteq\mathcal{L}^{\prime}\subseteq\mathcal{L}$的$\mathcal{L}^{\prime}$,$T|_{\mathcal{L}^{\prime}}$亦为范畴理论.
关键词 范畴理论可交换理论强极小公式极小公式强极小生成系统    
Abstract:This paper studies thestructure of exchangable and categorical theories and obtainsthe following main results: (1) If $T$ is exchangable andcategorical (over countable or uncountable language), then $T$ has astrongly minimal finitely generating system. (2) If $T$ (in$\mathcal{L}$) is exchangable and categorical, then there is a finite$\mathcal{L}_{0}\subseteq\mathcal{L}$ such that for all$\mathcal{L}^{\prime}$ with$\mathcal{L}_{0}\subseteq\mathcal{L}^{\prime}\subseteq\mathcal{L}$,$T|_{\mathcal{L}^{\prime}}$ is also categorical.
Key wordsexchangable theory    strongly minimalformula    minimal formula    strongly minimal finitely generatingsystem
基金资助:This project was supported by NSFC(No. 11071171),the Beijing Natural Science Foundation(No. 1122010) and the Science and Technology Project of Beijing Municipal Commission of Education(No. KM201210028007)
No related articles found!
Viewed
Full text


Abstract

Cited

  Discussed   
首页 · 关于 · 关于OA · 法律公告 · 收录须知 · 联系我们 · 注册 · 登录


© 2015-2016 北京大学图书馆 .