Tychonoff's theorem without the axiom of choice
From MaRDI portal
Publication:3969526
DOI10.4064/fm-113-1-21-35zbMath0503.54006OpenAlexW242489048WikidataQ114573934 ScholiaQ114573934MaRDI QIDQ3969526
Publication date: 1981
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211282
category of framesTikhonov's theoremcategory of localeschoice-free construction of Stone-Cech compactification of a localetopos-theoretic applications
Compactness (54D30) Complete lattices, completions (06B23) Topoi (18B25) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Consistency and independence results in general topology (54A35) Axiom of choice and related propositions (03E25)
Related Items
The point of pointless topology ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ Exact approximations to Stone-Čech compactification ⋮ Saturation, Yosida covers and epicompleteness in compact normal frames ⋮ Morphisms and pushouts in compact normal joinfit frames ⋮ Galois theory in a topos ⋮ CHOICE-FREE STONE DUALITY ⋮ The Gleason cover of a topos. I ⋮ The Gleason cover of a topos. II ⋮ A remark on injectivity of sheaves of abelian groups ⋮ Compact spaces and distributive lattices. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A globalization of the Hahn-Banach theorem ⋮ Unnamed Item ⋮ Theory of topological molecular lattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Epicompletion in frames with skeletal maps. II: Compact normal joinfit frames ⋮ Notes on Point-Free Topology ⋮ Stone-Čech compactification of locales. II ⋮ Stability of the Souslin operation ⋮ Proper maps of locales ⋮ Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies