The strength of prime separation, sobriety, and compactness theorems

DOI10.1016/j.topol.2018.04.002zbMath1446.03082OpenAlexW2809211374MaRDI QIDQ1646557

Marcel Erné

Publication date: 25 June 2018

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2018.04.002

zbMATH Keywords

compacttransversalirreducibleprimesupercompact(strictly) continuous(strictly) sober(strictly) spatialwell-filtered

Mathematics Subject Classification ID

Compactness (54D30) Frames, locales (06D22) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Local compactness, (sigma)-compactness (54D45) Axiom of choice and related propositions (03E25)

Related Items

Some open problems on well-filtered spaces and sober spaces, Choice-free dualities for domains, First countability, \( \omega \)-well-filtered spaces and reflections, A compact space is not always \(SI\)-compact, On \(T_0\) spaces determined by well-filtered spaces, On H-sober spaces and H-sobrifications of \(T_0\) spaces, \textbf{K}-reflections of product spaces, Categories of locally hypercompact spaces and quasicontinuous posets, A direct approach to \(K\)-reflections of \(T_0\) spaces, On topological Rudin's lemma, well-filtered spaces and sober spaces, On almost sober spaces, On the equivalence of Rudin's lemma and the Boolean prime ideal theorem, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Choice-free dualities for domains
• Coproducts of bounded \((\alpha,\beta)\)-distributive lattices
• \(T_ 0\)-spaces and pointwise convergence
• Prime elements from prime ideals
• Theory of relations. Transl. from the French by P. Clote
• Generalized continuous and hypercontinuous lattices
• Ideal completion and Stone representation of ideal-distributive ordered sets
• On Krull's separation lemma
• Categories of locally hypercompact spaces and quasicontinuous posets
• Boolean and distributive ordered sets: Characterization and representation by sets
• Infinite distributive laws versus local connectedness and compactness properties
• Choiceless, pointless, but not useless: dualities for preframes
• Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
• Sur le théorème de Zorn
• Frames and Locales
• The Power of the Ultrafilter Theorem
• Prime ideals yield almost maximal ideals
• A note on Baire spaces and continuous lattices
• Tychonoff's theorem without the axiom of choice
• Ordered Topological Spaces and the Representation of Distributive Lattices
• The dependence of some logical axioms on disjoint transversals and linked systems
• The Spectral Theory of Distributive Continuous Lattices
• Continuous Lattices and Domains
• Tychonoff-like Product Theorems for Local Topological Properties
• A Hofmann-Mislove theorem for Bitopological Spaces
• Uniqueness of representations of a distributive lattice as a free product of a Boolean algebra and a chain
• The Tychonoff product theorem implies the axiom of choice
• On the application of Tychonoff's theorem in mathematical proofs
• Ideals in Partially Ordered Sets
• Axiom of choice
• The axiom of choice