uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Real numbers in the topos of sheaves over the category of filters
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Mathematics.
2001 (English)In: JOURNAL OF PURE AND APPLIED ALGEBRA, ISSN 0022-4049, Vol. 160, no 2-3, 275-284 p.Article in journal (Refereed) Published
Abstract [en]

The 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 char

Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 2001. Vol. 160, no 2-3, 275-284 p.
Keyword [en]
URN: urn:nbn:se:uu:diva-36606OAI: oai:DiVA.org:uu-36606DiVA: diva2:64505
Addresses: Palmgren E, Uppsala Univ, Dept Math, POB 480, S-75238 Uppsala, Sweden. Uppsala Univ, Dept Math, S-75238 Uppsala, Sweden.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-13

Open Access in DiVA

No full text

By organisation
Department of Mathematics

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 125 hits
ReferencesLink to record
Permanent link

Direct link