1 paper · 1 filter
Ivan Buchinskiy, Matvei Kotov, Alexander Treier
In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.