1 results
BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 05 October 2018, pp. 1434-1456
- Print publication:
- December 2018
-
- Article
- Export citation
-
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 that the complexities are maintained in the sense that if the functor is
${\bf{\Delta }}_\alpha ^0$, then the interpretation that induces it is 
${\rm{\Delta }}_\alpha ^{in}$ up to 
${\bf{\Delta }}_\alpha ^0$ equivalence.
