Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Algebra, Geometry and Logic.
2011 (English)Report (Other academic)
Abstract [en]

A well-known model of nonstandard analysis is obtained by extending the structure of real numbers using an ultra power construction. A constructive approach due to Schmieden and Laugwitz uses instead a reduced power construction modulo a cofinite filter, but has the drawback that the transfer principle is weak. In this paper it is shown that this principle can be strengthened by employing Brouwerian continuity axioms familiar from intuitionistic systems. We end by commenting on the relation between the transfer principle and Ishihara’s boundedness principle.

Place, publisher, year, edition, pages
Uppsala: Department of Mathematics, Uppsala University , 2011. , p. 7
Series
U.U.D.M. report / Uppsala University, Department of Mathematics, ISSN 1101-3591 ; 2011:3
National Category
Algebra and Logic
Research subject
Mathematical Logic
Identifiers
URN: urn:nbn:se:uu:diva-143506OAI: oai:DiVA.org:uu-143506DiVA, id: diva2:390296
Available from: 2011-01-25 Created: 2011-01-21 Last updated: 2011-01-25Bibliographically approved

Open Access in DiVA

fulltext(358 kB)123 downloads
File information
File name FULLTEXT01.pdfFile size 358 kBChecksum SHA-512
5f58612aa57fe3eb870885a52f606830ff2c0185ba6b85ed3fe9e77f95dcd703ef282bb3f6306b0a048102881067d4cd5a61b9f621809be39602cfb23ff91f3d
Type fulltextMimetype application/pdf

By organisation
Algebra, Geometry and Logic
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar
Total: 123 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

urn-nbn

Altmetric score

urn-nbn
Total: 466 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf