Abstract:
In this article, we study the algebraic geometry over Heyting algebras and we investigate the properties of being equationally Noetherian and $q_{\omega}$-compact over such algebras.
Keywords:universal algebraic geometry, systems of equations, radicals, Zariski topology, Heyting algebras, equationally Noetherian algebras, $q_{\omega}$-compact algebras.
UDC:512.7
Received: 06.04.2020 Received in revised form: 25.04.2020 Accepted: 16.05.2020