卢多米尔·纽埃尔斯基;马钦·彼得里科夫斯基（Marcin Petrykowski） 弱属类型和群的覆盖。一、。 （英语） Zbl 1111.03036号 芬丹。数学。 191，编号3201-225（2006）. 设（G）是一个（aleph_0）饱和群，甚至是一个在某些（aleph_0）饱和结构中可定义的群类型。假设（G）被可数多个0-型可定义集（X_n），（n<ω）覆盖。在之前的一篇论文中，作者证明，在这些假设下，对于某些（n<omega）和某些有限子集（A\），（C1）\（G\）可以得到为\（A\；（C2）如果（G）是阿贝尔的，那么对于某些（n<omega），（G）可以表示为（X{<n}\cdot X{<n}^{-1}），其中（X{<n}）具有明显的含义（bigcup{i<n}X_i）。本文提供了（C1）的一个新证明和（C2）的一些推广。在（C1）的这种方法中，弱泛型的概念在组中起着关键作用。这以以下方式扩展了稳定组中泛型类型的经典概念。如果（G）覆盖（G）中的（X）的左平移有限，则称（G）的子集（X）为（左）泛型；如果（X）cup Y对某些非泛型（Y子集G）是泛型，则称弱泛型。如果可以从（p（x）导出的每个公式都是弱泛型的，则（G）的元素的类型（p（x））称为弱泛型。这个概念及其性质支持前面提到的（C1）的新证明。关于（C2），作者将其推广到顺从群，并对任意群进行了讨论。他们还提供了这些结果的无模型版本。最后，他们考虑了一些与（C1）和（C2）有关但与类型覆盖（而不是组覆盖）有关的其他问题。审核人：卡洛·托法洛里（卡梅里诺） 引用于1审查引用于13文件 MSC公司： 03C45号机组 分类理论、稳定性和模型理论中的相关概念 关键词：泛型类型;弱泛型类型;群的覆盖;顺从群体 PDF格式BibTeX公司 XML格式引用 \textit{L.Newelski}和\textit{M.Petrykowski}，Fundam。数学。191，第3号，201--225（2006；Zbl 1111.03036） 全文： 内政部