Algebraic geometry over Heyting algebras

В этой статье мы изучаем алгебраическую геометрию над гейтинговыми алгебрами и исследуем свойства быть уравновешенно нетеровыми и $q_{\omega}$-компактными над такими алгебрами.