Back and Forth Systems of Condensations

Miloš S. Kurilić

If $L$ is a relational language, an $L$-structure $\mathbb{X}$ is condensable to an $L$-structure $\mathbb{Y}$, we write $\mathbb{X}{\preccurlyeq }_c\mathbb{Y}$, iff there is a…