On equationally Noetherian predicate structures
In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.
math.LO↗
arXiv subjects
Ivan Buchinskiy
Publications and source records attributed to Ivan Buchinskiy.
arXiv subjects
Publications and source records attributed to Ivan Buchinskiy.
In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.