TL;DR: In this article, a self-contained theory of extrema (viz., suprema, maxima, minima, and infima) of differentiable functions of several (possibly infinitely many) variables mapping into finite-dimensional integrally closed directed partially ordered linear spaces is reported.
Abstract: A self-contained theory of extrema (viz., suprema, maxima, minima, and infima) of differentiable functions of several (possibly infinitely many) variables mapping into finite-dimensional integrally closed directed partially ordered linear spaces is reported. The applicability of the theory to the analysis of linear least squares vector estimation problem is demonstrated.
TL;DR: In this article, it is shown that set algebras corresponding to first order models are not σ-closed, but closed w.r.t. certain infima and suprema.
Abstract: It is known that set algebras corresponding to first order models (i.e cylindric set algebras associated with first order interpretations) are not σ-closed, but closed w.r.t. certain infima and suprema i.e. [FORMULA] and [FORMULA] for any infinite subsequence y1, y2,... yi,... of the individuum variables in the language. We investigate probabilities denned on these set algebras and being continuous w.r.t. the suprema and infima in (*). We can not use the usual technics, because these suprema and infima are not the usual unions and intersections of sets. These probabilities are interesting in computer science among others, because the probabilities of the quantifier-free formulas determine that of any formula and the probabilities of the former ones can be measured by statistical methods. .
TL;DR: The existence of supremum and infimum are shown, and the expressions of supremUM and inf optimum about order bounded sets of fuzzy n-cell numbers are given.
Abstract: In this paper, we discuss the problems of supremum and infimum of order bounded sets of fuzzy n-cell numbers, that is useful in the definition of some kind of integral about fuzzy n-cell number value (mappings.) We show the existence of supremum and infimum, and give out the expressions of supremum and infimum about order bounded sets of fuzzy n-cell numbers.
TL;DR: It is shown that everyD-lattice ( lattice-ordered effect algebra)P is a set-theoreticunion of maximal subsets of mutually compatible elements, called blocks, which are sub-D- lattices and sub-effect-algebras ofP which are MV-algeses closed with respect to all suprema and infima existing inP.
Abstract: We show that everyD-lattice (lattice-ordered effect algebra)P is a set-theoreticunion of maximal subsets of mutually compatible elements, called blocks.Moreover, blocks are sub-D-lattices and sub-effect-algebras ofP which areMV-algebras closed with respect to all suprema and infima existing inP.