Related papers: Two Applications of Boolean Valued Analysis

If a real-valued function is continuous on a real interval and it takes on two different values, then it will also take any value in between those two, by the Intermediate Value Theorem. It is not immediately clear what would be a natural…

Continuous dually epi-translation invariant valuations on convex functions are characterized in terms of the Fourier-Laplace transform of the associated Goodey-Weil distributions. This description is used to obtain integral representations…

Generalisations of the bent property of a boolean function are presented, by proposing spectral analysis with respect to a well-chosen set of local unitary transforms. Quadratic boolean functions are related to simple graphs and it is shown…

We study a few basic properties of Banach-Lie groupoids and algebroids, adapting some classical results on finite dimensional Lie groupoids. As an illustration of the general theory, we show that the notion of locally transitive Banach-Lie…

Locally $L^0$-convex modules were introduced in [D. Filipovic, M. Kupper, N. Vogelpoth. Separation and duality in locally $L^0$-convex modules. J. Funct. Anal. 256(12), 3996-4029 (2009)] as the analytic basis for the study of multi-period…

We give the classification of globally generated vector bundles of rank $2$ on a smooth quadric surface with $c_1\le (2,2)$ in terms of the indices of the bundles, and extend the result to arbitrary higher rank case. We also investigate…

Eilenberg's variety theorem marked a milestone in the algebraic theory of regular languages by establishing a formal correspondence between properties of regular languages and properties of finite monoids recognizing them. Motivated by…

This paper studies boundedness and closedness of linear relations, which include both single-valued and multi-valued linear operators. A new (single-valued) linear operator induced by a linear relation is introduced, and its relationships…

Let $X$ be a three dimensional real Banach space. Ben\'itez and Otero \cite {BeO} showed that if the unit ball of $X$ is is an intersection of two ellipsoids, then every 2-polynomial defined in a linear subspace of $X$ can be extended to…

For each Boolean graph $B_n$, it is proved that both $B_n$ and its complement graph $\overline{B_n}$ are vertex decomposable. It is also proved that $B_n$ is an unmixed graph, thus it is also Cohen-Macaulay.

The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here on the case of finite-valued logics, and exhibit: (i) a…

The standard theory of Banach spaces is built upon the notions of vector space, triangle inequality and Cauchy completeness. Here we propose a `hyperbolic' variant of this `elliptic' framework where general linear combinations are replaced…

Henstock-type integrals are considered, for multifunctions taking values in the family of weakly compact and convex subsets of a Banach lattice $X$. The main tool to handle the multivalued case is a R{\aa}dstr\"om-type embedding theorem…

We give a new construction of the one-variable Alexander polynomial of an oriented knot or link, and show that it generalizes to a vector valued invariant of oriented tangles.

A well-known theorem due to R. C. James states that a Banach space is reflexive if and only if every bounded linear functional attains its norm. In this note we study Banach lattices on which every (real-valued) lattice homomorphism attains…

We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…

Given any finite subset $A$ of order $n$ of a distributive lattice and $k\in\{1,...,n\}$, there is a natural extension of the median operation to $n$ variables which generalizes the notion of the $k$th smallest element of $A$. By applying…

Banach's fixed point theorem for contraction maps has been widely used to analyze the convergence of iterative methods in non-convex problems. It is a common experience, however, that iterative maps fail to be globally contracting under the…

We begin with (densely-defined) fractional linear transformations (FLT) on (some) Banach algebras and their relatives. This leads to Wedderburn's continued fractions (recursively-defined noncommutative polynomials) for any ring. Along the…

We present some basic elements of the theory of generalised Br\`{e}gman relative entropies over nonreflexive Banach spaces. Using nonlinear embeddings of Banach spaces together with the Euler--Legendre functions, this approach unifies two…