Abstract
In this thesis, the structure of the real numbers is studied in various toposes of sheaves over topological spaces. The first part of the thesis is a general treatment of intuitionistic logic. In the second part, some theory about sheaves and toposes is developed, in order to be able to
... read more