Showing 1–1 of 1 results for author: Buchinskiy, I

On equationally Noetherian predicate structures

Authors: Ivan Buchinskiy, Matvei Kotov, Alexander Treier

Abstract: In this paper, we prove a criterion for a predicate structure to be equationally Noetherian. In this paper, we prove a criterion for a predicate structure to be equationally Noetherian. △ Less

Submitted 16 July, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: 13 pages, 4 figures. Published in the journal of Groups, Complexity, Cryptology

MSC Class: 08A99; 03C05