Related papers: Lukasiewicz logic and Riesz spaces

For a compact group $\mathbb{G}$, the functor from unital Banach algebras with contractive morphisms to metric spaces with 1-Lipschitz maps sending a Banach algebra $A$ to the space of $\mathbb{G}$-representations in $A$ preserves filtered…

We apply the theory of large-scale geometry of Polish groups to groups of absolutely continuous homeomorphisms. Let $M$ be either the compact interval or circle. We prove that the Polish group $\operatorname{AC}_+(M)$ of…

A real algebraic variety W of dimension m is said to be uniformly rational if each of its points has a Zariski open neighborhood which is biregularly isomorphic to a Zariski open subset of R^m. Let l be any nonnegative integer. We prove…

This text is a detailed overview of the theories of W*-algebras and noncommutative integration, up to the Falcone-Takesaki theory of noncommutative Lp spaces over arbitrary W*-algebras, and its extension to noncommutative Orlicz spaces. The…

In this paper we generalize the H\'ajek-R\'enyi-Chow maximal inequality for submartingales to $L^p$ type Riesz spaces with conditional expectation operators. As applications we obtain a submartingale convergence theorem and a strong law of…

In this paper, we enlarge the language of MTL-algebras by a unary operation $\forall$ equationally described so as to abstract algebraic properties of the universal quantifier "for any" in its original meaning. The resulting class of…

In this paper, we introduce a foundation for computable model theory of rational Pavelka logic (an extension of {\L}ukasiewicz logic) and continuous logic, and prove effective versions of some theorems in model theory. We show how to reduce…

We show that the theory of MV-algebras is Morita-equivalent to that of abelian $\ell$-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D.…

On a compact connected group $G$, consider the infinitesimal generator $-L$ of a central symmetric Gaussian convolution semigroup $(\mu_t)_{t>0}$. We establish several regularity results of the solution to the Poisson equation $LU=F$, both…

In this note we prove that $\frac{1}{n!} \sum_{\pi} (\sum_{i=1}^n |x_i a_{i,\pi(i)} |^2)^{1/2}$ is equivalent to a Musielak-Orlicz norm $\norm{x}_{\sum M_i}$. We also obtain the inverse result, i.e., given the Orlicz functions, we provide a…

The abstraction of the study of stochastic processes to Banach lattices and vector lattices has received much attention by Grobler, Kuo, Labuschagne, Stoica, Troitsky and Watson over the past fifteen years. By contrast mixing processes have…

We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…

We develop a unified algebraic and valuative theory of Lojasiewicz exponents for pairs of graded families and filtrations of ideals. Within this framework, local Lojasiewicz exponents, gradient exponents, and exponents at infinity are all…

Substructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalence relations: they measure how much two objects are similar,…

The notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for $K_2$-algebras \cite{6}, is introduced. It is proved that the congruences of the principal MS-algebras $L$ correspond to the MS-congruence…

Our first result is a noncommutative form of Jessen/Marcinkiewicz/Zygmund theorem for the maximal limit of multiparametric martingales or ergodic means. It implies bilateral almost uniform convergence with initial data in the expected…

In this paper we provide several \emph{metric universality} results. We exhibit for certain classes $\cC$ of metric spaces, families of metric spaces $(M_i, d_i)_{i\in I}$ which have the property that a metric space $(X,d_X)$ in $\cC$ is…

Given a symmetric Leibniz algebra $(\mathcal{L},.)$, the product is Lie-admissible and defines a Lie algebra bracket $[\;,\;]$ on $\mathcal{L}$. Let $G$ be the connected and simply-connected Lie group associated to $(\mathcal{L},[\;,\;])$.…

Heyting-Lewis Logic is the extension of intuitionistic propositional logic with a strict implication connective that satisfies the constructive counterparts of axioms for strict implication provable in classical modal logics. Variants of…

Following a recent idea by Ball, we introduce the notion of strongly truncated Riesz space with a suitable spectrum. We prove that, under an extra Archimedean type condition, any strongly truncated Riesz space is isomorphic to a uniformly…