当前位置: 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.8 ) 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年]中被使用和扩展,以定义类别的等价性。最后,使用这些新工具研究了几个示例。

更新日期:2021-03-23
down
wechat
bug