Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Internal Set Theory"”.
-
Tripos models of Internal Set Theory
… framework to make sense of models of E. Nelson’s Internal Set Theory (and hence of nonstandard analysis) in elementary toposes by exploiting the technology of tripos theory and Lawvere’s hyperdoctrines. A new doctrinal account of nonstandard phenomena is described, which avoids a few key …
-
Internal Set Theory and Euler's Introductio in Analysin Infinitorum
… Analysis (NSA); in particular, we will use Internal Set Theory, Edward Nelson's distinctive version of NSA. We will specifically examine Euler's proofs of the Euler formula, the Euler product, the Wallis product and the divergence of the harmonic series. All of these results have been proved …