2007 | OriginalPaper | Buchkapitel
ERNA at work
verfasst von : C. Impens, S. Sanders
Erschienen in: The Strength of Nonstandard Analysis
Verlag: Springer Vienna
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by (Link öffnet in neuem Fenster)
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.