Join Copernicus Academic and get access to over 12 million papers authored by 7+ million academics.

Related Articles:

• Item and category-based attentional control during search for real-world objects: Can you find the p Read more...

• μ-Rhythm Extracted With Personalized EEG Filters Correlates With Corticospinal Excitability in Real Read more...

• Pole-placement Predictive Functional Control for under-damped systems with real numbers algebra.

• Real-time multi-signal frequency tracking with a bank of notch filters to estimate the respiratory r Read more...

• Buses retrofitting with diesel particle filters: Real-world fuel economy and roadworthiness test con Read more...

Real numbers in the topos of sheaves over the category of filters

Erik Palmgren - No affiliation found

2001/06/25 Full-length article DOI: 10.1016/S0022-4049(00)00080-3 Journal: Journal of Pure and Applied Algebra

Abstract:

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.