A constructive approach to nonstandard analysis

13Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. The theory is intended as a framework for developing elementary nonstandard analysis constructively. More specifically, the theory introduced is a conservative extension of HAω + AC. A predicate for distinguishing standard objects is added as in Nelson's internal set theory. Weak transfer and idealisation principles are proved from the axioms. Finally, the use of the theory is illustrated by extending Bishop's constructive analysis with infinitesimals. © 1995.

Cite

CITATION STYLE

APA

Palmgren, E. (1995). A constructive approach to nonstandard analysis. Annals of Pure and Applied Logic, 73(3), 297–325. https://doi.org/10.1016/0168-0072(94)00030-7

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free