scientific article; zbMATH DE number 2247261

MaRDI QIDQ5718573zbMATH OpenFDO

Authors Steven Vickers

Publication date 16 January 2006

zbMATH Keywords

point-free topologyTikhonov theorem

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Other constructive mathematics (03F65) Frames, locales (06D22) Compactness (54D30)

Recommendations

• scientific article; zbMATH DE number 4080380
• An intuitionistic proof of Tychonoff's theorem
• scientific article; zbMATH DE number 93526
• scientific article; zbMATH DE number 4092319
• Tychonoff's theorem in the framework of formal topologies

Cited in

(12)

• The connected Vietoris powerlocale
• Remarks on the Stone-Čech and Alexandroff compactifications of locales
• scientific article; zbMATH DE number 4080380 (Why is no real title available?)
• scientific article; zbMATH DE number 4092319 (Why is no real title available?)
• An intuitionistic proof of Tychonoff's theorem
• Tychonoff's theorem in the framework of formal topologies
• Topological inductive definitions
• Five stages of accepting constructive mathematics
• Kelley's specialization of Tychonoff's Theorem is equivalent to the Boolean Prime Ideal Theorem
• scientific article; zbMATH DE number 4184393 (Why is no real title available?)
• Reflections on function spaces
• Exact approximations to Stone-Čech compactification

This page was built for publication:

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