PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
From MaRDI portal
Publication:2747109
DOI10.1081/AGB-100104987zbMath0987.03054MaRDI QIDQ2747109
Publication date: 14 October 2001
Full work available at URL: https://doi.org/10.1081/agb-100104987
maximality; ideal; primeness; commutative rings with identity; inequality relation; constructive ring theory
13A15: Ideals and multiplicative ideal theory in commutative rings
13L05: Applications of logic to commutative algebra
03F65: Other constructive mathematics
Related Items
Semigroups with apartness, Basic notions of (constructive) semigroups with apartness, Ideals in constructive Banach algebra theory, The Zariski spectrum as a formal geometry, Formal Zariski topology: Positivity and points