English
Related papers

Related papers: Stone Duality Type Theorems for MV-algebras with I…

200 papers

A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a…

Logic in Computer Science · Computer Science 2023-06-22 Mai Gehrke , Tomáš Jakl , Luca Reggio

We develop a new formalism for the Quantum Master Equation $\Delta e^{S/\hbar} = 0$ and the category of ${\rm IBL}_\infty$-algebras and simplify some homotopical algebra arising in the context of oriented surfaces with boundary. We…

Quantum Algebra · Mathematics 2017-02-28 Martin Markl , Alexander A. Voronov

We introduce and systematically develop the theory of \emph{quantum doubly stochastic operators}, i.e. positive, trace-preserving maps on non-commutative $L_p$-spaces associated to semifinite von Neumann algebras. After establishing basic…

Operator Algebras · Mathematics 2026-05-19 Emma Sulaver

First we argue that many BV and homotopy BV structures, including both familiar and new examples, arise from a common underlying construction. The input of this construction is a cyclic operad along with a cyclically invariant Maurer-Cartan…

Algebraic Topology · Mathematics 2015-04-30 Benjamin C. Ward

We suggest a generalization of Pontryagin duality from the category of commutative Stein groups to the category of (not necessarily commutative) Stein groups with algebraic connected component of identity. In contrast to the other similar…

Functional Analysis · Mathematics 2016-09-28 S. S. Akbarov

We define Stone $\delta$-rings as a new class of $\delta$-rings. Via Stone duality, we shows that $\delta$-rings relates light condensed mathematics, which is developed by Clausen-Scholze. Also, we examine some phenomena for this…

Algebraic Geometry · Mathematics 2025-05-20 Yuto Yamada

We establish a coupled fixed points theorem for a meaningful class of mixed monotone multivalued operators and then we use it to derive some results on existence of quasisolutions and solutions to first--order functional differential…

Classical Analysis and ODEs · Mathematics 2011-04-13 Rubén Figueroa , Rodrigo López Pouso

Let $\mathcal{M}$ be a von Neumann algebra equipped with a normal semifinite faithful trace, $(\mathbb{X},\,d,\,\mu)$ be a space of homogeneous type in the sense of Coifman and Weiss, and…

Functional Analysis · Mathematics 2023-11-28 Zhijie Fan , Guixiang Hong , Wenhua Wang

This is the last in a series of three notes on an investigation into core regular double Stone algebras, CRDSA, which are meant to be read in order. This note ends our initial investigation of duality for CRDSA through bi-topological…

Rings and Algebras · Mathematics 2018-09-25 Daniel J. Clouse

In this paper, we investigate related properties of some particular derivations and give some characterizations of additive derivations in MV-algebras. Then, we obtain that the fixed point set of additive derivations is still an MV-algebra.…

Logic · Mathematics 2017-09-18 Jun Tao Wang , Bijan Davvaz , Peng Fei He

Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence,…

Logic in Computer Science · Computer Science 2023-06-22 Simon Docherty , David Pym

Let (M,\mu) be a sigma-finite measure space. Let (T_t) be a semigroup of positive preserving maps on (M,\mu) with standard assumptions. We prove a H_1-BMO duality theory with assumptions only on T_t. The BMO is defined as spaces of…

Classical Analysis and ODEs · Mathematics 2012-05-01 Tao Mei

For M a closed, connected, oriented manifold, we obtain the Batalin-Vilkovisky (BV) algebra of its string topology through homotopy-theoretic constructions on its based loop space. In particular, we show that the Hochschild cohomology of…

Algebraic Topology · Mathematics 2011-04-01 Eric J. Malm

We consider arbitrary embeddings of surface operators in a pure, non-supersymmetric abelian gauge theory on spin (non-spin) four-manifolds. For any surface operator with a priori simultaneously non-vanishing parameters, we explicitly show…

High Energy Physics - Theory · Physics 2014-11-18 Meng-Chwan Tan

We prove a stronger version of the Kontsevich Formality Theorem for orientable manifolds, relating the Batalin-Vilkovisky (BV) algebra of multivector fields and the homotopy BV algebra of multidifferential operators of the manifold.

Quantum Algebra · Mathematics 2017-07-04 Ricardo Campos

In the paper, we define the notion of a state BCK-algebra and a state-morphism BCK-algebra extending the language of BCK-algebras by adding a unary operator which models probabilistic reasoning. We present a relation between state operators…

Commutative Algebra · Mathematics 2013-04-26 R. A. Borzooei , A. Dvurečenskij , O. Zahiri

We introduce a notion of ``$n$-dual'' to a simplicial vector space for $n\ge 0$. Coming with it, there is a canonical pairing, which we show to be non-degenerate up to homotopy for homotopy $n$-types. As a result this notion of duality is…

Differential Geometry · Mathematics 2025-12-01 Stefano Ronchi , Chenchang Zhu

The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this paper, we describe a choice-free…

Logic · Mathematics 2021-12-14 Nick Bezhanishvili , Wesley H. Holliday

We describe right-hand skew Boolean algebras in terms of a class of presheaves of sets over Boolean algebras called Boolean sets, and prove a duality theorem between Boolean sets and etale spaces over Boolean spaces.

Category Theory · Mathematics 2013-03-26 Ganna Kudryavtseva , Mark V Lawson

The Stone-von Neumann Theorem is a fundamental result which unified the competing quantum mechanical models of matrix mechanics and wave mechanics. It's mechanism of proof ultimately involved the study of unitary group representations on a…

Operator Algebras · Mathematics 2024-11-19 Lucas Hall , Leonard Huang , Jacek Krajczok , Mariusz Tobolski
‹ Prev 1 4 5 6 7 8 10 Next ›