PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY

DOI10.1081/AGB-100104987MaRDI QIDQ2747109zbMATH OpenOpenAlexFDO

Authors Douglas Bridges

Publication date 14 October 2001

Published in Communications in Algebra (Search for Journal in Brave)

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

zbMATH Keywords

commutative rings with identityconstructive ring theoryidealinequality relationmaximalityprimeness

Mathematics Subject Classification ID

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

Recommendations

• A theorem on cocongruence of rings
• Syntax for semantics: Krull's maximal ideal theorem
• A prime ideal principle for two-sided ideals
• Strongly Noetherian rings and constructive ideal theory
• scientific article; zbMATH DE number 2182806

Cited in

(18)

• Prime strict ideals in Rickart *-rings
• A note on connected reduced rings
• Maximal ideals in countable rings, constructively
• An algorithmic approach to the existence of ideal objects in commutative algebra
• Maximal covers of chains of prime ideals
• Formal Zariski topology: Positivity and points
• Basic notions of (constructive) semigroups with apartness
• scientific article; zbMATH DE number 3884327 (Why is no real title available?)
• scientific article; zbMATH DE number 5598392 (Why is no real title available?)
• A theorem on cocongruence of rings
• scientific article; zbMATH DE number 2070354 (Why is no real title available?)
• scientific article; zbMATH DE number 1455328 (Why is no real title available?)
• scientific article; zbMATH DE number 2182806 (Why is no real title available?)
• Syntax for semantics: Krull's maximal ideal theorem
• Semigroups with apartness
• Covering maximal ideals with minimal primes
• Ideals in constructive Banach algebra theory
• The Zariski spectrum as a formal geometry

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2747109)