Nonstandard proof methods in toposes
Category Theory
2023-09-07 v2
Abstract
We determine sufficient structure for an elementary topos to emulate E. Nelson's Internal Set Theory in its internal language, and show that any topos satisfying the internal axiom of choice occurs as a universe of standard objects and maps. This development allows one to employ the proof methods of nonstandard analysis (transfer, standardisation, and idealisation) in new environments such as toposes of -sets and Boolean \'etendues.
Keywords
Cite
@article{arxiv.2308.16030,
title = {Nonstandard proof methods in toposes},
author = {José Siqueira},
journal= {arXiv preprint arXiv:2308.16030},
year = {2023}
}