An axiomatic approach to non-linear theory of generalized functions

16W60: Valuations, completions, formal power series and related constructions (associative rings and algebras)

46F10: Operations with distributions and generalized functions

46S10: Functional analysis over fields other than (mathbb{R}) or (mathbb{C}) or the quaternions; non-Archimedean functional analysis

46F30: Generalized functions for nonlinear analysis (Rosinger, Colombeau, nonstandard, etc.)

12J25: Non-Archimedean valued fields

12J15: Ordered fields