当前位置:
X-MOL 学术
›
Ann. Pure Appl. Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2021-03-16 , DOI: 10.1016/j.apal.2021.102970 Paul Wang
中文翻译:
使用简单群像扩展Hrushovski的群像-封面对应关系
更新日期:2021-03-23
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2021-03-16 , DOI: 10.1016/j.apal.2021.102970 Paul Wang
Hrushovski's suggestion, given in [3], to capture the structure of the 1-analysable covers of a theory T using simplicial groupoids definable in T is realized here. The ideas of Haykazyan and Moosa, found in [“Functoriality and uniformity in Hrushovski's groupoid-cover correspondence,” Annals of Pure and Applied Logic, 2018] are used, and extended, to define an equivalence of categories. Finally, a couple of examples are studied with these new tools.
中文翻译:
使用简单群像扩展Hrushovski的群像-封面对应关系
赫鲁斯托夫斯基的建议(在[3]中给出)使用可在T中定义的简单类群来捕获理论T的1个可分析封面的结构。Haykazyan和Moosa的思想在[Hrushovski的groupoid-cover对应关系中的功能性和统一性,《纯粹与应用逻辑学年鉴》,2018年]中被使用和扩展,以定义类别的等价性。最后,使用这些新工具研究了几个示例。