Borel Functors and Infinitary Interpretations

DOI10.1017/JSL.2017.81MaRDI QIDQ6274899arXivWikidataFDO

Authors Matthew Harrison-Trainor, Russell Miller, Antonio Montalbán

Publication date 23 June 2016

Published in arXiv

Full work available at URL https://doi.org/10.1017/JSL.2017.81

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Other infinitary logic (03C75) Theory of numerations, effectively presented structures (03D45)

arXiv classification

math.LO

Abstract: We introduce the notion of infinitary interpretation of structures. In general, an interpretation between structures induces a continuous homomorphism between their automorphism groups, and furthermore, it induces a functor between the categories of copies of each structure. We show that for the case of infinitary interpretation the reversals are also true: Every Baire-measurable homomorphism between the automorphism groups of two countable structures is induced by an infinitary interpretation, and every Baire-measurable functor between the set of copies of two countable structures is induced by an infinitary interpretation. Furthermore, we show the complexities are maintained in the sense that if the functor is $mathbf{Delta}_a^{0}lpha$, then the interpretation that induces it is $Delt{a}_a^{mathttin}lpha$ up to $mathbf{Delta}_a^{0}lpha$ equivalence.

This page was built for publication: Borel Functors and Infinitary Interpretations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6274899)