Constructive Notions of Maximality for Ideals
Working constructively, we discuss two types of maximality for ideals in a commutative ring with identity, showing also that the results are the best possible.
constructive maximal ideal