Sciact
  • EN
  • RU

On equationally Noetherian predicate structures Full article

Journal Groups, Complexity, Cryptology
ISSN: 1867-1144 , E-ISSN: 1869-6104
Output data Year: 2024, Volume: 16, Number: 1, Pages: 4:1--4:13 Pages count : 13 DOI: 10.46298/jgcc.2024.16.1.13872
Tags predicate structures; equationally Noetherian structures; universal algebraic geometry
Authors Buchinskiy Ivan 1 , Kotov Matvei 1 , Treier Alexander 1
Affiliations
1 Sobolev Institute of Mathematics of SB RAS, Omsk, Russia

Funding (1)

1 Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН». FWNF-2022-0003

Abstract: In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.
Cite: Buchinskiy I. , Kotov M. , Treier A.
On equationally Noetherian predicate structures
Groups, Complexity, Cryptology. 2024. V.16. N1. P.4:1--4:13. DOI: 10.46298/jgcc.2024.16.1.13872 WOS Scopus РИНЦ OpenAlex
Dates:
Submitted: Jul 4, 2024
Accepted: Jul 10, 2024
Published print: Jul 17, 2024
Published online: Jul 17, 2024
Identifiers:
Web of science: WOS:001275184700001
Scopus: 2-s2.0-85200401031
Elibrary: 69057536
OpenAlex: W4400746816
Citing: Пока нет цитирований
Altmetrics: