Theory of Interpretations II. Categorical equivalence of projective logical geometries

Evelina Daniyarova, Alexei Myasnikov

We introduce projective logical geometry and prove that two algebraic structures are strongly bi-interpretable if and only if their categories of projective logical sets are equiva…