论文部分内容阅读
首先介绍两个概念：主同余类的弱可定义性以及次直不可分解类的可定义性。证明了任一有穷代数Ａ，若（Ｖ）具有弱可定义的主同余类以及可定义次直不可分解类，则它的等式系是可以有穷公理化的。进一步的讨论揭示出其结果是新的，是已有工作的有意义的扩充。
代数等式系有穷公理化的一个扩充定理
【摘 要】
：
首先介绍两个概念：主同余类的弱可定义性以及次直不可分解类的可定义性。证明了任一有穷代数Ａ，若（Ｖ）具有弱可定义的主同余类以及可定义次直不可分解类，则它的等式系是可以有穷公理化
【机 构】
：
中国科学院软件研究所
【出 处】
：
软件学报
【发表日期】
：
1999年3期
【基金项目】
：
国家自然科学基金,国家863高科技项目基金
其他文献
我国进入新世纪以来，随着本科翻译专业的迅速发展，翻译教材市场也出现了百家争鸣的局面，在浩瀚的教材海洋中，自编翻译教材异军突起，成为本科翻译专业人才培养的生力军。本文将从教
本文提出了文法规则的推导概率和归约概率的概述２，通过修改Ｉｎｓｉｄｅ－Ｏｕｔｓｉｄｅ算法，将其应用于从未分析语料中获取一般形式的上下文无关文法规则的概率参数。
RNA干扰（RNAi）广泛存在于各种生物体中,是参与细胞防御与分化调控的重要机制之一.RNAi的作用由双链RNA启动,通过在转录、转录后和翻译等多个水平上对同源基因表达的特异阻断和
胰腺实性假乳头状瘤又称胰腺乳头状和实性上皮性肿瘤，胰腺囊实性肿瘤，乳头状囊性上皮肿瘤。我们收集我院经手术病理证实并经CT、超声检查的胰腺囊实性肿瘤9例，通过对这些病例的C
蜘蛛丝是一类天然蛋白质纤维,具有独特的机械性能（高强度、高弹性和高断裂功等）和卓著的生物学特性（生物可降解性和与生物组织的相容性等）,在生物医学、材料、纺织和军事等领域都
蛇毒类凝血酶在体外可以作用于纤维蛋白原使其凝固,具有类似凝血酶的功能.但在体内却表现出抗凝、降纤的功能.本文概述了蛇毒类凝血酶对纤维蛋白原的识别和作用、序列同源性
英语教学离不开英语语言背后的文化背景知识。中医院校的学生担负着传承和发扬中医药文化的特殊使命，这使大学英语教学中文化的渗透显得更为重要。本文旨在探讨中医院校大学英
乙型肝炎是由HBV引起的全球性传染病,其疫苗的研究很早就受到重视.乙肝疫苗从血源疫苗发展到DNA疫苗,已在酵母、病毒和哺乳动物的表达系统中成功地实现了HBsAg的表达.由于植
蛋白质组学经历了近10年的发展,现在已经初具规模.但是由于它是动态地观察生物体不断变化的所有蛋白质,所以技术难度非常之大.为使研究简化并更具针对性,人们着重进行比较
本文概括了国内外近二十年有关＂不胜任教师＂研究的三个方面：＂不胜任教师＂的特征、＂不胜任教师＂的评估及应对＂不胜任教师＂的措施。同时,针对已有＂不胜任教师＂研究的不足,剖析其未来研究发