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

        Scott’s Model for the Intuitionistic Continuum

        Thumbnail
        View/Open
        main.pdf (535.1Kb)
        Publication date
        2015
        Author
        Jong, T. de
        Metadata
        Show full item record
        Summary
        Various models have been introduced in the study of intuitionistic mathematics. One such model is Scott’s model for the intuitionistic continuum. In his 1968 article Extending the Topological Interpretation to Intuitionistic Analysis, he represents the intuitionistic reals as continuous functions from a topological space into the classical reals. The presentation of this model including added examples and extended proofs is the main topic of this thesis. However, we also provide the reader with additional background material. We start out by a brief introduction to intuitionism and its logic. Futhermore, this thesis contains a discussion of some of the topological properties of the Baire space, since they are used in the model.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/21295
        Collections
        • Theses
        Utrecht university logo