Related papers: Infinitary logic and basically disconnected compac…
In this paper, we study the existence of infinite dimensional closed linear subspaces of a rearrangement invariant space on [0,1] every nonzero element of which does not belong to any included rearrangement invariant space of the same class…
We introduce the class of split regular Hom-Leibniz algebras as the natural generalization of split Leibniz algebras and split regular Hom-Lie algebras. By developing techniques of connections of roots for this kind of algebras, we show…
We study the complexity with respect to Borel reducibility of the relations of isometry and isometric embeddability between ultrametric Polish spaces for which a set $D$ of possible distances is fixed in advance. These are, respectively, an…
In this paper, we introduce a $\{\lambda_{1\to n-1}\}$-bracket and a distribution notion of an $n$-Lie conformal algebra. For any $n$-Lie conformal algebra $R$, there exists a series of associated infinite-dimensional linearly compact…
Let $G$ denote an infinite-dimensional Heisenberg-like group, which is a class of infinite-dimensional step 2 stratified Lie groups. We consider holomorphic functions on $G$ that are square integrable with respect to a heat kernel measure…
This work was intended as an attempt to investigate a model of irreversible process and natural phenomena. For this, we introduce the notion of irreversible path (that for brevity we write ir-path), ir-homotopy, ir-contractible space, and…
Starting from compact symmetric spaces of inner type, we provide infinite families of compact homogeneous spaces carrying invariant non-flat Bismut connections with vanishing Ricci tensor. These examples turn out to be generalized symmetric…
Analogues of Scott's isomorphism theorem, Karp's theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An "interpolation theorem" (of a particular sort…
In this paper, we first construct the twisted full toroidal Lie algebra by an extension of a centreless Lie torus $LT$ which is a multiloop algebra twisted by several automorphisms of finite order and equipped with a particular grading. We…
Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital…
Infinite-dimensional universal Cardy-Frobenius algebra is constructed, which unifies all particular algebras of closed and open Hurwitz numbers and is closely related to the algebra of differential operators, familiar from the theory of…
We develop a matricial version of Rieffel's Gromov-Hausdorff distance for compact quantum metric spaces within the setting of operator systems and unital C*-algebras. Our approach yields a metric space of ``isometric'' unital complete order…
We show that a metric space $X$ that, at every point, has a Gromov-Hausdorff tangent with the splitting property (i.e. every geodesic line splits off a factor $\mathbb{R}$), is universally infinitesimally Hilbertian (i.e. $W^{1,2}(X,\mu)$…
Following a similar result of Uspenskij on the unitary group of a separable Hilbert space we show that with respect to the lower (or Roelcke) uniform structure the Polish group $G= \Aut(\mu)$, of automorphisms of an atomless standard Borel…
We introduce and develop propositional continuous intuitionistic logic and propositional continuous affine logic via complete algebraic semantics. Our approach centres on AC-algebras, which are algebras $USC(\mathcal{L})$ of sup-preserving…
We consider Minkowski spacetime, the set of all point-events of spacetime under the relation of causal accessibility. That is, ${\sf x}$ can access ${\sf y}$ if an electromagnetic or (slower than light) mechanical signal could be sent from…
We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FLew (i.e. IMALLW) that have a cut-free hypersequent proof calculus (specifically: every analytic structural rule…
Metric Temporal Logic (MTL) is a generalisation of Linear Temporal Logic in which the Until and Since modalities are annotated with intervals that express metric constraints. A seminal result of Hirshfeld and Rabinovich shows that over the…
Toroidal Lie algebras are universal central extentions of the finite dimensional simple Lie algbera tensored with Laurent Polynomials in several commuteing variables. In this paper we classify irreducible integrable modules for Toroidal Lie…
In this paper, we present an algebraic approach to idempotent functional analysis, which is an abstract version of idempotent analysis. The basic concepts and results are expressed in purely algebraic terms. We consider idempotent versions…