Real numbers in the topos of sheaves over the category of filters
Review articleOpen access

AbstractThe sheaves over the category of filters, with the precanonical topology, serve as a universe of sets where nonstandard analysis can be developed along constructive principles. In this paper we show that the Dedekind real numbers of this topos can be characterised as the nonstandard hull of the rational numbers. Moreover, it is proved that the axiom of choice holds on standard sets of the topos.

Request full text

References (0)

Cited By (0)

No reference data.
No citation data.
Join Copernicus Academic and get access to over 12 million papers authored by 7+ million academics.
Join for free!