Related papers: Two Applications of Boolean Valued Analysis
Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain…
It is shown that certain lower semi-continuous maps from a paracompact space to the family of closed subsets of the bundle space of a Banach bundle admit continuous selections. This generalization of the theorem of Douady, dal…
In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…
Motivated by the construction of the free Banach lattice generated by a Banach space, we introduce and study several vector and Banach lattices of positively homogeneous functions defined on the dual of a Banach space $E$. The relations…
We classify the Boolean degree $1$ functions of $k$-spaces in a vector space of dimension $n$ (also known as Cameron-Liebler classes) over the field with $q$ elements for $n \geq n_0(k, q)$. This also implies that two-intersecting sets with…
We extend the usual projective Abel-Radon transform to the larger context of a smooth complete toric variety X. We define and study toric concavity attached to an algebraic splitting vector bundle on X and we prove a toric version of the…
The essence of the notion of lineability and spaceability is to find linear structures in somewhat chaotic environments. The existing methods, in general, use \textit{ad hoc} arguments and few general techniques are known. Motivated by the…
In this paper, we mainly study one class of mixed-integer nonlinear programming problems (MINLPs) with vector conic constraint in Banach spaces. Duality theory of convex vector optimization problems applied to this class of MINLPs is deeply…
Let V be a complete discrete valuation ring with uniformiser p. We introduce an invariant of Banach V-algebras called local cyclic homology. This invariant is related to analytic cyclic homology for complete, bornologically torsionfree…
Banach spaces that are complemented in the second dual are characterised precisely as those spaces $X$ which enjoy the property that for every amenable semigroup $S$ there exists an $X$-valued analogue of an invariant mean defined on the…
We prove two results about transforming any convex polyhedron, modeled as a linkage L of its edges. First, if we subdivide each edge of L in half, then L can be continuously flattened into a plane. Second, if L is equilateral and we again…
Let $A$ be a complex Banach algebra. If the spectrum of an invertible element $a\in A$ does not separate the plane, then $a$ admits a logarithm. We present two elementary proofs of this classical result which are independent of the…
We prove that there is a lattice embedded from every countable distributive lattice into the Boolean algebra of computable subsets of $\mathbb{N}$. Along the way, we discuss all relevant results about lattices, Boolean algebras and…
A notion of the generalized invariant manifold for a nonlinear integrable lattice is considered. Earlier it has been observed that this kind objects provide an effective tool for evaluating the recursion operators and Lax pairs. In this…
The existence of a homogeneous decomposition for continuous and epi-translation invariant valuations on super-coercive functions is established. Continuous and epi-translation invariant valuations that are epi-homogeneous of degree $n$ are…
The paper is devoted to a comprehensive second-order study of a remarkable class of convex extended-real-valued functions that is highly important in many aspects of nonlinear and variational analysis, specifically those related to…
In this paper novel classes of 2-D vector-valued spatial domain wavelets are defined, and their properties given. The wavelets are 2-D generalizations of 1-D analytic wavelets, developed from the Generalized Cauchy-Riemann equations and…
A lattice $L$ is said lowly finite if the set $[\mathsf{0},a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its…
A finite-dimensional ${\sf RCD}$ space can be foliated into sufficiently regular leaves, where a differential calculus can be performed. Two important examples are given by the measure-theoretic boundary of the superlevel set of a function…
We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations…