Equationally Noetherian property of Ershov algebras
Yuriy Dvorzhetskiy
TL;DR
This paper investigates the equationally Noetherian and weak equationally Noetherian properties of Ershov algebras, providing canonical forms and criteria to characterize these properties.
Contribution
It introduces two canonical forms of equations over Ershov algebras and establishes criteria for the equationally Noetherian and weak equationally Noetherian properties.
Findings
Two canonical forms of systems of equations over Ershov algebras
Criteria for equationally Noetherian property
Criteria for weak equationally Noetherian property
Abstract
This article is about equationally Noetherian and weak equationally Noetherian property of Ershov algebras. Here we show two canonical forms of the system of equations over Ershov algebras and two criteria of equationally Noetherian and weak equationally Noetherian properties.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Nonlinear Waves and Solitons · Algebraic structures and combinatorial models