On Krull's separation lemma
From MaRDI portal
Publication:1318348
DOI10.1007/BF01110546zbMath0795.06005WikidataQ124810449 ScholiaQ124810449MaRDI QIDQ1318348
Marcel Erné, Bernhard Banaschewski
Publication date: 27 April 1994
Published in: Order (Search for Journal in Brave)
choiceBoolean algebrasringsPrime Ideal Theoremintersection theorem for Baer radicalsKrull's Separation LemmaScott-open \(m\)-filters in quantales
Complete lattices, completions (06B23) Ordered semigroups and monoids (06F05) Ideals in associative algebras (16D25) Axiom of choice and related propositions (03E25)
Related Items (10)
The strength of prime separation, sobriety, and compactness theorems ⋮ Unnamed Item ⋮ Spectral-like duality for distributive Hilbert algebras with infimum ⋮ Radical theory of Scott-open filters ⋮ More on the strength of Engeler's lemma. ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Choiceless, pointless, but not useless: dualities for preframes ⋮ Categories of locally hypercompact spaces and quasicontinuous posets ⋮ Unnamed Item ⋮ Finiteness conditions and distributive laws for Boolean algebras
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
This page was built for publication: On Krull's separation lemma