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. Key Words: constructive, ideal, maximal Category: F.2.m, G.0

• Type: Journal
• Year: 2008
• Where: JUCS
• Authors: Douglas S. Bridges, Robin Havea
• Keywords: Commutative Ring, JUCS 2008, Key Words, Maximal Category