ERNA at work

C. Impens () and S. Sanders ()
Additional contact information
C. Impens: University of Gent, Department of Pure Mathematics and Computer Algebra

Chapter 5 in The Strength of Nonstandard Analysis, 2007, pp 64-75 from Springer

Abstract: Abstract Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis proposed around 1995 by Chuaqui, Suppes and Sommer. It has been shown to be consistent and, without standard part function or continuum, it allows major parts of analysis to be developed in an applicable form. We briefly discuss ERNA’s foundations and use them to prove a supremum principle and provide a square root function, both up to infinitesimals.

Keywords: Free Variable; Function Symbol; Axiom Schema; Nonstandard Analysis; Axiomatic Foundation (search for similar items in EconPapers)
Date: 2007
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-211-49905-4_5

Ordering information: This item can be ordered from
http://www.springer.com/9783211499054

DOI: 10.1007/978-3-211-49905-4_5

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().