An intuitionistic proof of Tychonoff's theorem
From MaRDI portal
Publication:4008744
DOI10.2307/2275174zbMath0764.03024OpenAlexW2134743979MaRDI QIDQ4008744
Publication date: 27 September 1992
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275174
Compactness (54D30) Topological spaces and generalizations (closure spaces, etc.) (54A05) Heyting algebras (lattice-theoretic aspects) (06D20) Intuitionistic mathematics (03F55)
Related Items (9)
A constructive topological proof of van der Waerden's theorem ⋮ Finiteness in a Minimalist Foundation ⋮ Compact spaces and distributive lattices. ⋮ Fundamental results for pointfree convex geometry ⋮ Inductively generated formal topologies. ⋮ Some points in formal topology. ⋮ A constructive proof of the Heine-Borel covering theorem for formal reals ⋮ On some peculiar aspects of the constructive theory of point-free spaces ⋮ Compactness in locales and in formal topology
Cites Work
This page was built for publication: An intuitionistic proof of Tychonoff's theorem