Ivan Buchinskiy ; Matvei Kotov ; Alexander Treier
-
On equationally Noetherian predicate structures
gcc:13872 -
journal of Groups, complexity, cryptology,
July 17, 2024,
Volume 16, Issue 1, Special issue in memory of Ben Fine
-
https://doi.org/10.46298/jgcc.2024.16.1.13872On equationally Noetherian predicate structuresArticle
Authors: Ivan Buchinskiy ; Matvei Kotov ; Alexander Treier
NULL##NULL##NULL
Ivan Buchinskiy;Matvei Kotov;Alexander Treier
In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.
Comment: 13 pages, 4 figures. Published in the journal of Groups, Complexity, Cryptology
Volume: Volume 16, Issue 1, Special issue in memory of Ben Fine
Published on: July 17, 2024
Accepted on: July 10, 2024
Submitted on: July 4, 2024
Keywords: Mathematics - Logic, 08A99, 03C05