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

Direct link
A sheaf-theoretic foundation for nonstandard analysis
Uppsala University.
1997 (English)In: ANNALS OF PURE AND APPLIED LOGIC, Vol. 85, no 1, 69-86 p.Article in journal (Other scientific) Published
Abstract [en]

A new foundation for constructive nonstandard analysis is presented. It is based on an extension of a sheaf-theoretic model of nonstandard arithmetic due to I. Moerdijk. The model consists of representable sheaves over a site of filter bases. Nonstandard

Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 1997. Vol. 85, no 1, 69-86 p.
URN: urn:nbn:se:uu:diva-26993OAI: oai:DiVA.org:uu-26993DiVA: diva2:54887
Addresses: Palmgren E, UPPSALA UNIV, DEPT MATH, POB 480, S-75106 UPPSALA, SWEDEN.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-15

Open Access in DiVA

No full text

By organisation
Uppsala University

Search outside of DiVA

GoogleGoogle ScholarTotal: 2 downloads
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: 124 hits
ReferencesLink to record
Permanent link

Direct link