连通po-群胚的半退化簇中的直不可分解元
逻辑
2009-11-04 v1
摘要
我们研究具有项可定义偏序结构的簇，即“po-群胚”。已知连通偏序集具有“严格细化性质”（SRP）。在[arXiv:0808.1860v1 [math.LO]]中证明了具有SRP的半退化簇具有可定义的因子同余，并且如果相似类型是有限的，则直不可分解元可由一组一阶语句公理化。我们为连通po-群胚的半退化簇获得了这样一组公理，并表明其量词复杂度在一般情况下是有界的。
引用
@article{arxiv.0810.1305,
title = {Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids},
author = {Pedro Sánchez Terraf},
journal= {arXiv preprint arXiv:0810.1305},
year = {2009}
}