论文部分内容阅读
证明了一些特殊类型的环不能在一阶形式语言L中有限公理化.
有关环的有限可公理化问题
【摘 要】
：
证明了一些特殊类型的环不能在一阶形式语言L中有限公理化.
【机 构】
：
淮北师范大学数学科学学院
【出 处】
：
佳木斯大学学报：自然科学版
【发表日期】
：
2013年3期
【基金项目】
：
安徽省高校自然科学研究重点项目（2005KJZD）
其他文献
为了研究以3,3-双叠氮甲基氧杂环丁烷（BAMO）与3-叠氮甲基-3-甲基氧杂环丁烷（AMMO）为基合成的含能热塑性弹性体（ETPE,数均分子量在20000左右）作黏结剂对黑索今（RDX）-铝粉（Al）体系炸药造
<正>半导体领域的巨头还是以国外厂商为主,国内是"后来者"和"赶超者"的角色。中国的主要优势在于电子领域的产业化布局,以及巨大的消费市场。伴随着集成电路产业的兴起,半导
李郑生教授是国医大师李振华的学术继承人,河南中医药大学教授、硕士研究生导师,从事中医内科医疗、教学、科研工作40余年,擅长治疗消化类疾病。慢性便秘是临床常见病。李郑
用微热量热仪得到了100 ℃下老化20 d内HMX基高聚物粘结炸药（PBX）与聚氨酯粘接胶及二者接触体系的放热量和放热速率随时间的变化曲线。用TG-DSC和FTIR分析了老化前后的样品。结
采用有限元方法,使用ANSYS有限元分析软件,研究混凝土边缘构件截面、配筋率及墙片轴压比、高宽比对配筋砌体剪力墙的影响,得到边缘构件对配筋砌体剪力墙的抗弯能力有较大的提
关于跑步是否会损伤关节的说法一直众说纷纭。美国《时代周：刊》报道，跑步不但和关节炎没有任何瓜葛，它甚至还能预防人衰老后所出现的各种关节问题。国内骨科专家指出，很少有因跑
为解决在实验教学中动态信号检测学习过程中的信号来源问题，作者设计制作了测量机床主轴回转误差的模拟实验台，根据实际检测要求设计了误差测量系统，并利用自制实验台完成了回转
目的 对应用中医治疗方案对患有慢性传输型便秘(STC)的患者实施治疗的临床效果应用进行分析.方法 选择我院收治的患有慢性传输型便秘的患者40例,随机分为两组,采用常规中成药
在格上定义了二元运算“—”，得到一些运算性质，通过给出分散完备格的概念与性质，得出分散完备格与关于“－”运算满足分配律的格的等价性的刻画，最后，并在格矩阵上也定义了二元运算