PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
Douglas Bridges · Communications in Algebra · 2001
The basic notions of ideal theory are examined constructively in the context of a commutative ring with an identity and an inequality relation. Constructive analogues of classical theorems relating maximality and primeness are proved, and it is shown that the results are the best possible in a constructive framework.