Symmetries of structures that fail to interpret something finite

Libor Barto, Bertalan Bodor, Marcin Kozik +2

We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters…