An intuitionistic proof of Tychonoff's theorem
From MaRDI portal
Publication:4008744
DOI10.2307/2275174zbMath0764.03024MaRDI 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
54D30: Compactness
54A05: Topological spaces and generalizations (closure spaces, etc.)
06D20: Heyting algebras (lattice-theoretic aspects)
03F55: Intuitionistic mathematics
Related Items
A constructive proof of the Heine-Borel covering theorem for formal reals, Fundamental results for pointfree convex geometry, Compact spaces and distributive lattices., Inductively generated formal topologies., Some points in formal topology., A constructive topological proof of van der Waerden's theorem, Compactness in locales and in formal topology, Finiteness in a Minimalist Foundation, On some peculiar aspects of the constructive theory of point-free spaces
Cites Work