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 - https://doi.org/10.46298/jgcc.2024.16.1.13872
On equationally Noetherian predicate structuresArticle

Authors: Ivan Buchinskiy ; Matvei Kotov ; Alexander Treier

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

    https://doi.org/10.46298/jgcc.2024.16.1.13872
    Source: arXiv.org:2407.03150
    Volume: Volume 16, Issue 1
    Published on: July 17, 2024
    Accepted on: July 10, 2024
    Submitted on: July 4, 2024
    Keywords: Mathematics - Logic,08A99, 03C05
    Licence: Attribution 4.0 International (CC BY 4.0)

    Share and export

    Consultation statistics

    This page has been seen 458 times.
    This article's PDF has been downloaded 162 times.