On Krull's separation lemma

DOI10.1007/BF01110546MaRDI QIDQ1318348zbMATH OpenWikidataFDO

Authors Bernhard Banaschewski, Marcel Erné

Publication date 27 April 1994

Published in Order (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01110546

zbMATH Keywords

Boolean algebraschoiceintersection theorem for Baer radicalsKrull's Separation LemmaPrime Ideal TheoremringsScott-open \(m\)-filters in quantales

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Complete lattices, completions (06B23) Ordered semigroups and monoids (06F05) Ideals in associative algebras (16D25)

Recommendations

• On separation lemmas
• Separation and Weak König's Lemma
• A separation lemma on sub-lattices
• On the Kurosh theorem and separability properties
• Generalized separation theorems and the Farkas' lemma
• scientific article; zbMATH DE number 92431
• On Lindelöf lattices and separation
• On the strong separation conjecture
• On a conjecture of Kleitman and Lemke
• scientific article; zbMATH DE number 7537998

Cites work

• A unified theory of minimal prime ideals
• Constructing locales from quantales
• Distributors and Wallmanufacture
• scientific article; zbMATH DE number 4162951 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• Lattice Aspects of Radical Ideals and Choice Principles
• Multiplicative lattices and frames
• On separation lemmas
• Prime elements from prime ideals
• Prime ideals yield almost maximal ideals
• The Duality of Distributive Continuous Lattices
• The independence of the axiom of choice from the Boolean prime ideal theorem
• The Spectral Theory of Distributive Continuous Lattices

Cited in

(24)

• On separation lemmas
• The strength of prime separation, sobriety, and compactness theorems
• Categories of locally hypercompact spaces and quasicontinuous posets
• On the Kurosh theorem and separability properties
• 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
• A universal Krull-Lindenbaum theorem
• Finiteness conditions and distributive laws for Boolean algebras
• scientific article; zbMATH DE number 672106 (Why is no real title available?)
• Prime and maximal ideals of partially ordered sets
• The strength of Engeler's lemma
• Raney extensions: a pointfree theory of T₀ spaces based on canonical extension
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively
• More on the strength of Engeler's lemma.

This page was built for publication: On Krull's separation lemma

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