Nonstandard proof methods in toposes
Published version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Abstract
We determine sufficient structure for an elementary topos to emulate 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 G-sets and Boolean étendues.
Description
Journal Title
Annals of Pure and Applied Logic
Conference Name
Journal ISSN
0168-0072
Volume Title
175
Publisher
Elsevier
Publisher DOI
Rights and licensing
Except where otherwised noted, this item's license is described as Attribution 4.0 International