English
Related papers

Related papers: Kleene posets and pseudo-Kleene posets

200 papers

A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…

Rings and Algebras · Mathematics 2014-09-23 Brian T. Chan

In this paper we discuss the notion of completeness of topologized posets and survey some recent results on closedness properties of complete topologized semilattices.

General Topology · Mathematics 2022-02-08 Taras Banakh , Serhii Bardyla

The interleaving distance, although originally developed for persistent homology, has been generalized to measure the distance between functors modeled on many posets or even small categories. Existing theories require that such a poset…

Category Theory · Mathematics 2020-04-30 Magnus Bakke Botnan , Justin Curry , Elizabeth Munch

We prove the long-standing conjecture on the coset construction of the minimal series principal $W$-algebras of $ADE$ types in full generality. We do this by first establishing Feigin's conjecture on the coset realization of the universal…

Quantum Algebra · Mathematics 2020-05-13 Tomoyuki Arakawa , Thomas Creutzig , Andrew R. Linshaw

Every Dedekind complete Riesz space X has a unique sup-completion X^{s}, which is a Dedekind complete lattice cone. This paper aims to present a systematic study this cone by extending several known results to general setting, proving new…

Functional Analysis · Mathematics 2021-04-29 Youssef Azouzi , Youssef Nasri

Kleene algebra with tests, KAT, provides a simple two-sorted algebraic framework for verifying properties of propositional while programs. Kleene algebra with domain, KAD, is a one-sorted alternative to KAT. The equational theory of KAT…

Logic in Computer Science · Computer Science 2022-05-09 Igor Sedlár , Johann J. Wannenburg

We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$,…

Combinatorics · Mathematics 2008-12-15 Ilham Chakir , Maurice Pouzet

A specialization semilattice is a join semilattice together with a coarser preorder $ \sqsubseteq $ satisfying an appropriate compatibility condition. If $X$ is a topological space, then $(\mathcal P(X), \cup, \sqsubseteq )$ is a…

Rings and Algebras · Mathematics 2022-08-23 Paolo Lipparini

We introduce the blockwise gluing construction. This describes residuated integral chains which can be decomposed into (possibly) partial algebras, stacked one on top of the other, and such that elements in a certain component multiply in…

Logic · Mathematics 2025-12-22 Valeria Giustarini , Sara Ugolini

Although d-complete posets arose along the interface between algebraic combinatorics and Lie theory, they are defined using only requirements on their local structure. These posets are a mutual generalization of rooted trees, shapes, and…

Combinatorics · Mathematics 2018-03-28 Robert A. Proctor , Lindsey M. Scoppetta

For every partial combinatory algebra (pca), we define a hierarchy of extensionality relations using ordinals. We investigate the closure ordinals of pca's, i.e. the smallest ordinals where these relations become equal. We show that the…

Logic · Mathematics 2021-09-17 Paul Shafer , Sebastiaan A. Terwijn

We develop Grothendieck's theory of dualizing complexes on finite posets, and its subsequent theory of Cohen-Macaulayness.

Combinatorics · Mathematics 2023-05-10 Fernando Sancho de Salas , Alejandro Torres Sancho

We study properties of semi-elementary imsets and elementary imsets introduced by Studeny (2005). The rules of the semi-graphoid axiom (decomposition, weak union and contraction) for conditional independence statements can be translated…

Statistics Theory · Mathematics 2011-08-22 Takuya Kashimura , Tomonari Sei , Akimichi Takemura , Kentaro Tanaka

A residuated poset is a structure $\langle A,\le,\cdot,\backslash,/,1 \rangle$ where $\langle A,\le \rangle$ is a poset and $\langle A,\cdot,1 \rangle$ is a monoid such that the residuation law $x\cdot y\le z\iff x\le z/y\iff y\le…

The notion of hidden symmetry algebra used in the context of exactly solvable systems is re-examined from the purely algebraic way, analyzing subspaces of commuting polynomials that generate finite-dimensional quadratic algebras. By…

Mathematical Physics · Physics 2021-10-01 Rutwig Campoamor-Stursberg , Ian Marquette

A new tropical plactic algebra is introduced in which the Knuth relations are inferred from the underlying semiring arithmetics, encapsulating the ubiquitous plactic monoid $\mathcal{P}_n$. This algebra manifests a natural framework for…

Combinatorics · Mathematics 2017-01-19 Zur Izhakian

We study the representation theory of the infinite type A Hecke algebra over a non-archimedean field in the case where the parameter is a pseudo-uniformizer. Specifically, we consider a family of representations, called almost-symmetric,…

Representation Theory · Mathematics 2026-03-25 Milo Bechtloff Weising

In this paper, a novel discrete algebra is presented which follows by combining the SU(2) Lie-Poisson bracket with the discrete Frenet equation. Physically, the construction describes a discrete piecewise linear string in R3. The starting…

High Energy Physics - Theory · Physics 2022-10-12 Jin Dai , Theodora Ioannidou , Antti Niemi

In the latest developments in the theory of skew lattices, distributivity has been one of the main topics of study. The largest classes of examples of such algebras are distributive. Unlike what happens in lattices, the properties of…

Rings and Algebras · Mathematics 2013-07-08 Joao Pita Costa

A twisted commutative algebra is (for us) a commutative $\mathbf{Q}$-algebra equipped with an action of the infinite general linear group. In such algebras the "$\mathbf{GL}$-prime" ideals assume the duties fulfilled by prime ideals in…

Commutative Algebra · Mathematics 2020-02-05 Andrew Snowden