Back and Forth Systems Witnessing Irreversibility

Abstract

If $L$ is a relational language, then an $L$-structure ${\mathbb X}=\langle X,\bar ρ\rangle$ is reversible iff there is no interpretation $\bar σ\varsubsetneq \bar ρ$ such that the structures $\langle X,\bar σ\rangle$ and $\langle X,\bar ρ\rangle$ are isomorphic. We show that ${\mathbb X}$ is not reversible iff there is a back and forth system $Π$ of partial self-condensations of ${\mathbb X}$ containing one which is not a partial isomorphism and having certain closure properties. Using that characterization we detect several classes of non-reversible partial orders containing, for example, homogeneous-universal posets (in particular, the random poset), the divisibility lattice, $\langle {\mathbb N} ,\,\mid\,\rangle$, the ideals $[κ]^{<λ}$, the meager ideal in the algebra Borel$(ω^ω)$, and the direct powers of rationals, ${\mathbb Q} ^κ$, and integers, ${\mathbb Z} ^κ$. Some of the results are obtained under additional set-theoretic assumptions.