长江大学学报（自然版）
長江大學學報（自然版）
장강대학학보（자연판）
JOURNAL OF YANGTZE UNIVERSITY(NATURAL SCIENCE EDITION)
2012年
5期
9-10
,共2页
模型论%紧致性定理%整环%除环
模型論%緊緻性定理%整環%除環
모형론%긴치성정리%정배%제배
模型论中紧致性定理在代数中有很广泛的应用.用紧致性定理证明了若L中的理论T有任意大特征的整环或除环模型,则T有特征为0的整环或除环模型;若一个语句(4)在任意一个特征为零的整环或除环中为真,则对任意的自然数n,存在素数p＞n,使(4)在特征为p的整环或除环中真.
模型論中緊緻性定理在代數中有很廣汎的應用.用緊緻性定理證明瞭若L中的理論T有任意大特徵的整環或除環模型,則T有特徵為0的整環或除環模型;若一箇語句(4)在任意一箇特徵為零的整環或除環中為真,則對任意的自然數n,存在素數p＞n,使(4)在特徵為p的整環或除環中真.
모형론중긴치성정리재대수중유흔엄범적응용.용긴치성정리증명료약L중적이론T유임의대특정적정배혹제배모형,칙T유특정위0적정배혹제배모형;약일개어구(4)재임의일개특정위령적정배혹제배중위진,칙대임의적자연수n,존재소수p＞n,사(4)재특정위p적정배혹제배중진.
