A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis
2012 (English)In: Journal of Logic and Analysis, ISSN 1759-9008, Vol. 4, no 2, 1-7 p.Article in journal (Refereed) Published
A wellknown model of nonstandard analysis is obtained by extending the structure of real numbers using an ultrapower 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
2012. Vol. 4, no 2, 1-7 p.
intuitionistic mathematics, nonstandard analysis, transfer principle
Natural Sciences Algebra and Logic
Research subject Mathematical Logic
IdentifiersURN: urn:nbn:se:su:diva-85901DOI: 10.4115/jla.2012.4.2OAI: oai:DiVA.org:su-85901DiVA: diva2:585337
FunderSwedish Research Council