Title of article
A constructive proof of the Stone-Weierstrass theorem Original Research Article
Author/Authors
Bernhard Banaschewski، نويسنده , , Christopher J. Mulvey، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
16
From page
25
To page
40
Abstract
A constructive version of the Stone-Weierstrass theorem is proved, allowing a globalisation of the Gelfand duality theorem to any Grothendieck topos to be established elsewhere.
Journal title
Journal of Pure and Applied Algebra
Serial Year
1997
Journal title
Journal of Pure and Applied Algebra
Record number
817716
Link To Document