Constructive Notions of Maximality for Ideals
Douglas S. Bridges (University of Canterbury, New Zealand)
Robin S. Havea (University of the South Pacific, Fiji)
Abstract: 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.
Keywords: constructive, ideal, maximal
Categories: F.2.m, G.0