Title of article :
A constructive proof of the Stone-Weierstrass theorem Original Research Article
Author/Authors :
Bernhard Banaschewski، نويسنده , , Christopher J. Mulvey، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1997
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
Journal title :
Journal of Pure and Applied Algebra
