View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Applications of sheaves to intuitionistic logic

        Thumbnail
        View/Open
        Applications of sheaves to intuitionistic logic.pdf (454.6Kb)
        Publication date
        2016
        Author
        Blom, T.
        Metadata
        Show full item record
        Summary
        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 interpret logic. In the third and last part, we apply the theory from the second part to the study of the intuitionistic continuum. An important focus in this part is Brouwer's continuity theorem, which states that every total real function is continuous.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/22151
        Collections
        • Theses
        Utrecht university logo