摘要
本文研究了可交换范畴理论的结构,得到了如下主要结果:(1)如果T是可交换范畴理论,那么T有一个强极小有限生成系统.(2)如果T(在L中)是可交换范畴理论,那么有一个有限的L0■L使得对所有满足L0■L′■L的L′,T|L′,亦为范畴理论.
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 ￡） is exchangable and categorical, then there is a finite ￡0 ∈￡ such that for all ￡＇ with ￡0∈￡＇∈￡的￡＇,T｜￡＇ is also categorical.
出处
《数学进展》
CSCD
北大核心
2013年第3期288-296,共9页
Advances in Mathematics（China）
关键词
范畴理论
可交换理论
强极小公式
极小公式
强极小生成系统
categorical theory
exchangable theory
strongly minimal formula
minimalformula
strongly minimal finitely generating system
