Related papers: Boolean Valued Analysis of Order Bounded Operators

This is an overview of the recent results of interaction of Boolean valued analysis and vector lattice theory.

This is a survey of some recent applications of Boolean valued analysis to operator theory and harmonic analysis. Under consideration are pseudoembedding operators, the noncommutative Wickstead problem, the Radon-Nikodym Theorem for…

Collective versions of order convergences and corresponding types of collectively qualified sets of operators in vector lattices are investigated. It is proved that collectively order to norm bounded sets are bounded in the operator norm…

We study topological boundedness of order-to-topology bounded and order-to-topology continuous operators from ordered vector spaces to topological vector spaces. The uniform boundedness principle for such operators is investigated.

In this paper, we introduce statistical bounded set on topological vector space. Also, we consider three classes of bounded operators from topological vector spaces to ordered topological vector spaces. Moreover, we give relations between…

This is a brief overview of the basic techniques of Boolean valued analysis.

This is an overview of the present-day versions of monadology with some applications to vector lattices and linear inequalities.

The vector transform operators are investigated; these operators are used at the solution of boundary value problems in piecewise homogeneous spherically symmetric areas. In particular, examples of transformation operators for vector…

The vector transform operators are investigated; these operators are used at the solution of boundary value problems in piecewise homogeneous spherically symmetric areas. In particular, examples of transformation operators for vector…

Boolean networks can be viewed as functions on the set of binary strings of a given length, described via logical rules. They were introduced as dynamic models into biology, in particular as logical models of intracellular regulatory…

Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…

We consider a class of block operator matrices arising in the study of scattering passive systems, especially in the context of boundary control problems. We prove that these block operator matrices are indeed a subclass of block operator…

We present a Bounded Model Checking technique for higher-order programs. The vehicle of our study is a higher-order calculus with general references. Our technique is a symbolic state syntactical translation based on SMT solvers, adapted to…

This is a short overview of some recent tendencies in the theory of linear inequalities that are evoked by Boolean valued analysis.

The class of closed graphs by a linear ordering on their sets of vertices is investigated. A recent characterization of such a class of graphs is analyzed by using tools from the proper interval graph theory.

Boolean models are applied to deriving operator versions of the classical Farkas Lemma in the theory of simultaneous linear inequalities.

In this paper we provide a unifying approach to the study of Banach ideals of linear and multilinear operators defined, or characterized, by the transformation of vector-valued sequences. We investigate and apply the linear and multilinear…

In this paper the boundary value problem for one class of the operator-differential equations of the third order on a semi-axis, where one of the boundary conditions is perturbed by some linear operator is researched. There are received…

Multivalued linear operators, also known as linear relations, are studied on a specific class of weighted, composition transforms on Fock space. Basic properties of this class of linear relations, such as closed graph, boundedness, complex…

We consider an integral operator $\mathcal{I}$, special instances of which was studied in various contexts. Using an appropriate transformation we write this operator in terms of weighted composition operators. Then, we provide a…