On combined nonstandard methods in functional analysis

The main nonstandard tool-kits are known as infinitesimal analysis (Robinson's nonstandard analysis) and Boolean-valued analysis. Sharp distinctions between these two versions of nonstandard analysis in content and technique notwithstanding, many ways are open to their simultaneous application. One of the simplest approaches consists in successive application of different nonstandard methods. It is demonstrated that combining is often useful in settling the problems of functional analysis which stem mainly from the theory of vector lattices.