The Lascar groups and the 1st homology groups in model theory

Jan Dobrowolski, Byunghan Kim, Junguk Lee

Let $p$ be a strong type of an algebraically closed tuple over $B=\acl^{\eq}(B)$ in any theory $T$. Depending on a ternary relation $\indo^*$ satisfying some basic axioms (there is…