1 problem

Let first-order logic theories have finite signatures. Barrett–Halvorson's conjecture. Categorical equivalence implies many-sorted (Morita) definitional equivalence. The paper prov…