collaborators

1 paper

math.LO2020

Bicategories, Biequivalence, and Bi-Interpretability

Anthony D'Arienzo, Vinny Pagano, Ian M. J. McInnis

We make explicit the correspondence between syntax and syntactic categories for coherent first-order logic, providing a categorical characterization of bi-interpretability. This is…