首页> 外文期刊>Order >Directly Indecomposables In Semidegenerate Varieties Of Connected Po-groupoids
【24h】

Directly Indecomposables In Semidegenerate Varieties Of Connected Po-groupoids

机译:连接Po-groupoids的半简并变体中的直接分解

获取原文
获取原文并翻译 | 示例
           

摘要

We study varieties with a term-definable poset structure, po-groupoids. It is known that connected posets have the strict refinement property (SRP). In Sanchez Terraf and Vaggione (Trans Am Math Soc, in press) it is proved that semidegenerate varieties with the SRP have definable factor congruences and if the similarity type is finite, directly indecomposables are axiomatizable by a set of first-order sentences. We obtain such a set for semidegenerate varieties of connected po-groupoids and show its quantifier complexity is bounded in general.
机译:我们研究具有术语可定义的球型结构po-groupoids的变体。众所周知,连接的球型具有严格的细化属性(SRP)。在Sanchez Terraf和Vaggione(Trans Am Math Soc,印刷中)中,已证明具有SRP的半简并变种具有可确定的因子全等,如果相似类型是有限的,则直接不可分解可通过一组一阶句子公理化。我们为连接的po-groupoids的半简类获得了这样的集合,并显示了其量词的复杂性通常是有限的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号