Algebraic Geometry over Heyting Algebras

Abstract

In this article, we study the algebraic geometry over Heyting algebras and we investigate the properties of being equationally Noetherian and qω-compact over such algebras

В этой статье мы изучаем алгебраическую геометрию над гейтинговыми алгебрами и исследуем свойства быть уравновешенно нетеровыми и qω-компактными над такими алгебрами