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

        Wilkie's Theorem and the Uniform Real Schanuel Conjecture

        Thumbnail
        View/Open
        Thesis_Martijn_den_Besten.pdf (964.8Kb)
        Publication date
        2016
        Author
        Besten, M.A. den
        Metadata
        Show full item record
        Summary
        In this thesis we give a detailed proof of the model completeness of two expansions of the real ordered field, specifically the expansion by Pfaffian chains of functions and the expansion by the exponential function. The latter result is also known as Wilkie's Theorem and both of the proofs are due to Alex Wilkie. As an application of Wilkie's Theorem, we provide a modest generalization of the fact that Schanuel's conjecture over the real numbers is equivalent to a uniform version of itself, as proven by Jonathan Kirby and Boris Zilber.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/24448
        Collections
        • Theses
        Utrecht university logo