彼得·施密特（Peter H.Schmitt）。 被评估阿贝尔群的不确定理论。 （英语） 兹伯利0555.20034 梅姆。社会数学。法语，Nouv。Sér。 16, 67-76 (1984). 尽管本文是在模型论的背景下写的，但阿贝尔群论者应该对此感兴趣，因为主要结果表明，其基础群是\（｛\mathbb｛Z｝｝（p^9）\）的副本的可数直和的有限值p值群的理论是遗传不可判定的，可数值p-赋值可数p-局部无扭阿贝尔群理论也是如此。这些结果的一个结果是，寻求这些类别的完整分类可能是无望的。证明基于这样一个事实：具有可分辨子群的可数（p^9）-有界群的理论可以归结为有值群的理论；但前一种理论被证明是遗传不可判定的W·鲍尔[《美国数学学会学报》第55卷，第125-128页（1976年；Zbl 0328.02032号)].审核人：舒尔茨博士 引用于1审查引用于三文件 MSC公司： 20公里25 阿贝尔群的直接和、直接积等 20甲15 逻辑在群论中的应用 03C65号 其他数学理论模型 20K20码 无挠群，无限秩 关键词：有限值p-赋值群;遗传上不能决定的;可数值p-赋值可数p-局部无扭阿贝尔群 引文：Zbl 0328.02032号 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Schmitt}，梅姆。社会数学。法语，Nouv。Sér。16、67--76（1984年；Zbl 0555.20034） 全文： 内政部 Numdam编号 欧洲DML 参考文献： [1] Baur，W.交换群理论与子群Proc的不可判定性。AMS 55（1976）125-128 MR 54#4953 | Zbl 0328.02032·Zbl 0328.02032号 ·doi:10.2307/2041856 [2] Hunter，R.和Walker，E.在《阿贝尔群理论》（Proc。Oberwolfach 1981，斯宾格·LN数学。第874卷，R.Göbel，E.Walker（编辑）第350-373页MR 83h:20051 | Zbl 0464.20036·Zbl 0464.20036号 [3] Monk，J.D.数学逻辑研究生数学课本，施普林格出版社，1976年MR 57#5656 | Zbl 0354.0202·Zbl 0354.0202号 [4] Richman，F.《被评估群体指南：阿贝尔群理论》，Proc。2.新墨西哥州立大学，1976年，施普林格LN数学。第616卷，第73-86页MR 58#929 | Zbl 0372.2004·Zbl 0372.20040号 [5] Richman，F.&Walker，E.A.评价阿贝尔群代数杂志56（1979）145-167 MR 80k:20053 | Zbl 0401.20049·兹比尔0401.20049 ·doi:10.1016/0021-8693（79）90330-2 [6] Slobodskoi，A.M.和Fridman，E.I.具有指定子群的谓词的阿贝连群的理论代数与逻辑14（1975）353-355 MR 55#12512|Zbl 0386.03015·兹伯利0386.03015 ·doi:10.1007/BF01668813 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。