Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids

Annals of Pure and Applied Logic 172 (7):102970 (2021)
  Copy   BIBTEX

Abstract

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Combinatorial realizability models of type theory.Pieter Hofstra & Michael A. Warren - 2013 - Annals of Pure and Applied Logic 164 (10):957-988.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Topological representation of geometric theories.Henrik Forssell - 2012 - Mathematical Logic Quarterly 58 (6):380-393.
Indifference to symmetry in Hrushovski's ab initio construction.Omer Mermelstein - 2022 - Annals of Pure and Applied Logic 173 (1):103040.
Finite axiomatizability in Łukasiewicz logic.Daniele Mundici - 2011 - Annals of Pure and Applied Logic 162 (12):1035-1047.
Groupoids and relative internality.Léo Jimenez - 2019 - Journal of Symbolic Logic 84 (3):987-1006.
Sequent-systems and groupoid models. II.Kosta Došen - 1989 - Studia Logica 48 (1):41 - 65.

Analytics

Added to PP
2021-03-19

Downloads
13 (#1,320,757)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references