Advanced search
Add to list

ERNA at work

Christian Impens (UGent) and Sam Sanders (UGent)
Author
Organization
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.

Citation

Please use this url to cite or link to this publication:

MLA
Impens, Christian, and Sam Sanders. “ERNA at Work.” The Strength of Nonstandard Analysis. Ed. I Van Den Berg & V Neves. Vienna, Austria: Springer, 2007. 64–75. Print.
APA
Impens, C., & Sanders, S. (2007). ERNA at work. In I. Van Den Berg & V. Neves (Eds.), The strength of nonstandard analysis (pp. 64–75). Presented at the Meeting on Nonstandard Mathematics 2004, Vienna, Austria: Springer.
Chicago author-date
Impens, Christian, and Sam Sanders. 2007. “ERNA at Work.” In The Strength of Nonstandard Analysis, ed. I Van Den Berg and V Neves, 64–75. Vienna, Austria: Springer.
Chicago author-date (all authors)
Impens, Christian, and Sam Sanders. 2007. “ERNA at Work.” In The Strength of Nonstandard Analysis, ed. I Van Den Berg and V Neves, 64–75. Vienna, Austria: Springer.
Vancouver
1.
Impens C, Sanders S. ERNA at work. In: Van Den Berg I, Neves V, editors. The strength of nonstandard analysis. Vienna, Austria: Springer; 2007. p. 64–75.
IEEE
[1]
C. Impens and S. Sanders, “ERNA at work,” in The strength of nonstandard analysis, Aviero, Portugal, 2007, pp. 64–75.
@inproceedings{353283,
  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.},
  author       = {Impens, Christian and Sanders, Sam},
  booktitle    = {The strength of nonstandard analysis},
  editor       = {Van Den Berg, I and Neves, V},
  isbn         = {9783211499047},
  language     = {eng},
  location     = {Aviero, Portugal},
  pages        = {64--75},
  publisher    = {Springer},
  title        = {ERNA at work},
  url          = {http://dx.doi.org/10.1007/978-3-211-49905-4_5},
  year         = {2007},
}

Altmetric
View in Altmetric
Web of Science
Times cited: