The notion of a dominated or rnajorized operator rests on a simple idea that goes as far back as the Cauchy method of majorants. Loosely speaking, the idea can be expressed as follows. If an operator (equation) under study is dominated by another operator (equation), called a dominant or majorant, then the properties of the latter have a substantial influence on the properties of the former . Thus, operators or equations that have "nice" dominants must possess "nice" properties. In other words, an operator with a somehow qualified dominant must be qualified itself. Mathematical tools, putting...

Nonstandard Methods of Analysis is concerned with the main trends in this field; infinitesimal analysis and Boolean-valued analysis. The methods that have been developed in the last twenty-five years are explained in detail, and are collected in book form for the first time. Special attention is paid to general principles and fundamentals of formalisms for infinitesimals as well as to the technique of descents and ascents in a Boolean-valued universe. The book also includes various novel applications of nonstandard methods to ordered algebraic systems, vector lattices,...

Presenting the most important results of a new branch of functional analysis - subdifferential calculus and its applications - this monograph details new tools and techniques of convex and non-smooth analysis, such as Kantorovich spaces, vector duality, Boolean-valued and infinitesimal versions of non-standard analysis, covering a wide range of topics.

Boolean valued analysis is a technique for studying properties of an arbitrary mathematical object by comparing its representations in two different set-theoretic models whose construction utilises principally distinct Boolean algebras. The use of two models for studying a single object is a characteristic of the so-called non-standard methods of analysis. Application of Boolean valued models to problems of analysis rests ultimately on the procedures of ascending and descending, the two natural functors acting between a new Boolean valued universe and the von Neumann universe.