Tripos models of Internal Set Theory
Paiva Miranda De Siqueira, José Vitor
University of Cambridge
Doctor of Philosophy (PhD)
MetadataShow full item record
Paiva Miranda De Siqueira, J. V. (2022). Tripos models of Internal Set Theory (Doctoral thesis). https://doi.org/10.17863/CAM.78799
This thesis provides a 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 restrictions in Nelson’s approach: chiefly, the dependence on Set Theory (which is done by replacing a model of set theory with a topos as the starting point) and reliance on an internally defined notion of standard element. From the new perspective, validity of the schemes of Idealisation, Standardisation, and Transfer correspond to the existence of certain relationships between hyperdoctrines, leading to the new notion of a tripos model of IST. After discussing the properties of such models that make them a suitable abstraction of classic IST we explore situations in which such structures arise, leading to two distinct main classes of models: what we refer to as Nelson models, which are those for which there is a well-behaved `predicate of standard elements’ (providing thus a close approximation of classic IST valid for toposes), and models obtained by elaborating on the work started by A. Kock and C. J. Mikkelsen on the categorification of Transfer. We then elaborate upon one particular kind of model of each type: the ultrapower models, which are Nelson models obtained from a choice of adequate ultrafilter and that mirror the constructions of classical Robinson nonstandard analysis, and the localic models for Transfer and Standardisation, which are obtained from any given open surjection of locales (e.g universal covers of topological spaces) via the Kock-Mikkelsen construction at the level of sheaf toposes.
topos theory, tripos theory, internal set theory, hyperdoctrine, nonstandard analysis
This study was funded by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES) (process n∘ 8881.128278/2016-01).
This record's DOI: https://doi.org/10.17863/CAM.78799
All Rights Reserved
Licence URL: https://www.rioxx.net/licenses/all-rights-reserved/
Recommended or similar items
The current recommendation prototype on the Apollo Repository will be turned off on 03 February 2023. Although the pilot has been fruitful for both parties, the service provider IKVA is focusing on horizon scanning products and so the recommender service can no longer be supported. We recognise the importance of recommender services in supporting research discovery and are evaluating offerings from other service providers. If you would like to offer feedback on this decision please contact us on: firstname.lastname@example.org