Skip to main content

1 Result(s)

within Chapter Remove this filter S. Sanders Remove this filter Mathematical Logic and Foundations Remove this filter

and

  1. No Access

    Chapter

    ERNA at work

    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 st...

    C. Impens, S. Sanders in The Strength of Nonstandard Analysis (2007)