Compact spaces and distributive lattices.

DOI10.1016/S0022-4049(03)00088-4zbMath1034.54005MaRDI QIDQ1408349

Thierry Coquand

Publication date: 15 September 2003

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

distributive latticesTychonoff's theoremcompact localesSteenrod's theorem

Mathematics Subject Classification ID

Compactness (54D30) Frames, locales (06D22) Product spaces in general topology (54B10) Other constructive mathematics (03F65) Axiom of choice and related propositions (03E25) Generalities in topology (54A99)

Related Items (7)

Exact approximations to Stone-Čech compactification ⋮ On toposes generated by cardinal finite objects ⋮ Radical theory of Scott-open filters ⋮ Topological inductive definitions ⋮ A curious nucleus ⋮ Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory ⋮ More on a curious nucleus

Cites Work

• Tychonoff's theorem without the axiom of choice
• An intuitionistic proof of Tychonoff's theorem
• Steenrod's theorem for locales
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compact spaces and distributive lattices.