Hyperreal differentiation with an idempotent ultrafilter

Samuel Allen Alexander, Bryan Dawson

In the hyperreals constructed using a free ultrafilter on R, where [f] is the hyperreal represented by f:R->R, it is tempting to define a derivative operator by [f]'=[f'], but unfo…