Results 81 to 90 of about 290 (150)

Coulomb branch algebras via symplectic cohomology

Journal of Topology, Volume 19, Issue 2, June 2026.
Abstract Let (M¯,ω)$(\bar{M}, \omega)$ be a compact symplectic manifold with convex boundary and c1(TM¯)=0$c_1(T\bar{M})=0$. Suppose that (M¯,ω)$(\bar{M}, \omega)$ is equipped with a convex Hamiltonian G$G$‐action for some connected, compact Lie group G$G$.
Eduardo González, Cheuk Yu Mak, Dan Pomerleano   +2 more
wiley   +1 more source

Relativized Relation Algebras

, 1999
Relativization is one of the central topics in the study of algebras of relations (i.e. relation and cylindric algebras). Relativized representable relation algebras behave much nicer than the original class RRA: for instance, one obtains finite ...
Marx, M.J., Maarten Marx
core   +1 more source

Improved Projection for Cylindrical Algebraic Decomposition

Journal of Symbolic Computation, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Infinity‐operadic foundations for embedding calculus

Journal of Topology, Volume 19, Issue 2, June 2026.
Abstract Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of ∞$\infty$‐categories of truncated right modules over a unital ∞$\infty$‐operad O$\mathcal {O}$. We study monoidality and naturality properties of this tower, identify its layers, describe the difference between the towers as O$\mathcal {O}$
Manuel Krannich, Alexander Kupers
wiley   +1 more source

Primitive satisfaction and equational problems for lattices and other algebras

, 1974
This paper presents a general method of solving equational problems in all equational classes of algebras whose congruence lattices are distributive, such as those consisting of lattices, relation algebras, cylindric algebras, orthomodular lattices ...
Kirby A. Baker
core   +1 more source

Introductory Course on Relation Algebras, Finite-Dimensional Cylindric Algebras, and Their Interconnections

, 1990
These are notes for a short course on relation algebras, finite-dimensional cylindric algebras, and their interconnections, delivered at the Conference on Algebraic Logic, Budapest, Hungary, August 8--14, 1988, sponsored by the the Janos Bolyai ...
Roger D. Maddux
core  

Strongly representable atom structures of cylindric algebras

, 2007
A cylindric algebra atom structure is said to be strongly representable if all atomic cylindric algebras with that atom structure are representable.
Ian Hodkinson, Robin Hirsch
core  

Cylindric process algebras with conditionals give substitutionless $ p $ CRL [PDF]

, 1999
Theories that are designed to reason about processes and the information they exchange usually also include a construction to quantify over this information.
Luttik, S.P. (Bas), Luttik, Bas, Luttik, S.P.   +2 more
core  

VARIETIES OF TWO-DIMENSIONAL CYLINDRIC ALGEBRAS.

, 2008
. We investigate the lattice Λ(Df 2) of all subvarieties of the variety Df2 of two-dimensional diagonal-free cylindric algebras. We prove that a Df2algebra is finitely representable iff it is finitely approximable, characterize finite projective Df2 ...
Nick Bezhanishvili, Part I Diagonal-free Case   +1 more
core  

Completeness of Relational Algebra via Cylindric Algebra

CoRR
An alternative proof of the completeness of relational algebra with respect to allowed formulas of first-order logic is presented. The proof relies on the well-known embedding of relational algebra into cylindric algebra, which makes it possible to establish completeness in a more algebraic way.
openaire   +2 more sources