排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
文章用模型论中的紧致性定理证明了若L中理论T有任意可数阶的Abel群模型,则T有无扭Abel群模型;若一个语句φ在任意一个无扭Abel群中真,则对任意大的自然数n,存在自然数m>n,使φ在m阶Abel群中真.最后证明了无扭Abel群不能有限公理化. 相似文献
1