PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY

DOI10.1081/AGB-100104987zbMath0987.03054OpenAlexW4239105963MaRDI QIDQ2747109

Douglas S. Bridges

Publication date: 14 October 2001

Full work available at URL: https://doi.org/10.1081/agb-100104987

zbMATH Keywords

maximalityidealprimenesscommutative rings with identityinequality relationconstructive ring theory

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Applications of logic to commutative algebra (13L05) Other constructive mathematics (03F65)

Related Items (5)

Basic notions of (constructive) semigroups with apartness ⋮ Ideals in constructive Banach algebra theory ⋮ Semigroups with apartness ⋮ The Zariski spectrum as a formal geometry ⋮ Formal Zariski topology: Positivity and points

This page was built for publication: PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY