×

Boolean algebras in algebraic topology. (English) Zbl 1164.55001

This is a short presentation of some basic topological concepts directed to an audience of logicians, which also shows how a certain complete Heyting algebra appears in this context.

MSC:

55P42 Stable homotopy theory, spectra
06D20 Heyting algebras (lattice-theoretic aspects)
PDFBibTeX XMLCite
Full Text: DOI EuDML