The study of computable structures and equivalence relations lies at the intersection of computability theory, algebra and logic, and provides essential insights into the classification and decision ...

Homotopy theory in algebra is a dynamic field that adapts concepts originally developed in topology to the study of algebraic structures. In particular, the framework of chain complexes and derived ...