Theory of Interpretations II. Categorical equivalence of projective logical geometries
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 equivalent relative to the class of interpretation functors, which is also equivalent to their categories of projective definable sets being equivalent relative to the class of translation functors. These constructions generalize two ideas of Boris Plotkin: the concept of geometric equivalence in universal algebraic geometry and the transition from universal algebraic geometry to logical geometry. Furthermore, our…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.23261
curl -X POST /api/v1/records/arxiv/2607.23261/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.23261/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'