Nonstandard extensions of uniform algebraic systems (Q1920824)

Important applications of nonstandard analysis to the theory of Banach spaces are based on the construction of the nonstandard hull of a normed linear space. By making use of the iterated nonstandard enlargements, we propose a universal construction for arbitrary uniform algebraic systems which allows to study the nonstandard hulls and completions of such systems. In Section 1 we give necessary information about nonstandard enlargements and prove a number of important results in the general theory of monads. In Section 2 we present basic facts on nonstandard topologies and uniform algebraic systems. In Section 3 we describe a general algebraic construction with the help of which we study the question of completing uniform algebraic systems. Conditions for the existence of nonstandard hulls for such systems are obtained in Section 4.