On equationally Noetherian predicate structures
Logic
2025-06-18 v3
Abstract
In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.
Cite
@article{arxiv.2407.03150,
title = {On equationally Noetherian predicate structures},
author = {Ivan Buchinskiy and Matvei Kotov and Alexander Treier},
journal= {arXiv preprint arXiv:2407.03150},
year = {2025}
}
Comments
13 pages, 4 figures. Published in the journal of Groups, Complexity, Cryptology