Real functions as traces of infinite polynomials
Real functions, not necessarily everywhere defined, are considered as observable traces of nonstandard polynomials with an infinite number of (possibly infinitesimal or infinite) coefficients. A necessary and sufficient condition, characterizing all functions obtainable that way, is established.
observable traces of nonstandard polynomials
scientific article; zbMATH DE number 4089834