On equationally Noetherian predicate structures

Autor:	Buchinskiy, Ivan, Kotov, Matvei, Treier, Alexander
Rok vydání:	2024
Předmět:	Mathematics - Logic 08A99 03C05
Zdroj:	journal of Groups, complexity, cryptology, Volume 16, Issue 1 (July 17, 2024) gcc:13872
Druh dokumentu:	Working Paper
DOI:	10.46298/jgcc.2024.16.1.13872
Popis:	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
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2407.03150 Zobrazit plný text záznamu View this record from Arxiv