On Krull's separation lemma

DOI10.1007/BF01110546zbMath0795.06005WikidataQ124810449 ScholiaQ124810449MaRDI QIDQ1318348

Marcel Erné, Bernhard Banaschewski

Publication date: 27 April 1994

Published in: Order (Search for Journal in Brave)

zbMATH Keywords

choice; Boolean algebras; rings; Prime Ideal Theorem; intersection theorem for Baer radicals; Krull's Separation Lemma; Scott-open \(m\)-filters in quantales

Mathematics Subject Classification ID

06B23: Complete lattices, completions

06F05: Ordered semigroups and monoids

16D25: Ideals in associative algebras

03E25: Axiom of choice and related propositions

Related Items

Unnamed Item, More on the strength of Engeler's lemma., The strength of prime separation, sobriety, and compactness theorems, Categories of locally hypercompact spaces and quasicontinuous posets, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Spectral-like duality for distributive Hilbert algebras with infimum, Choiceless, pointless, but not useless: dualities for preframes, Radical theory of Scott-open filters, Finiteness conditions and distributive laws for Boolean algebras, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distributors and Wallmanufacture
• Prime elements from prime ideals
• Multiplicative lattices and frames
• On separation lemmas
• Lattice Aspects of Radical Ideals and Choice Principles
• Prime ideals yield almost maximal ideals
• Constructing locales from quantales
• The Duality of Distributive Continuous Lattices
• The Spectral Theory of Distributive Continuous Lattices
• The independence of the axiom of choice from the Boolean prime ideal theorem
• A unified theory of minimal prime ideals