摘要
证明了一些特殊类型的环不能在一阶形式语言L中有限公理化.
This paper proved that some special types of tings cant be finitely axiomatizable in a first - or- der language L.
出处
《佳木斯大学学报(自然科学版)》
CAS
2013年第3期469-470,共2页
Journal of Jiamusi University:Natural Science Edition
基金
安徽省高校自然科学研究重点项目(2005KJZD)
关键词
有限可公理化
无零因子幺环
整环
除环
域
finitely axiomatizable
integral domain
division ring
unitary non-zero factor ring
field