Results 101 to 110 of about 290 (150)
Cylindric reverse plane partitions and 2D TQFT
, 2018 The ring of symmetric functions carries the structure of a Hopf algebra. When computing the coproduct of complete symmetric functions one arrives at weighted sums over reverse plane partitions (RPP) involving binomial ...
Palazzo, David, Korff, Christian
core
On the representation theory for cylindric algebras [PDF]
Pacific Journal of Mathematics, 1961 openaire +2 more sources
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic With Two Variables
, 1997 The aim of this paper is to give a new proof for the decidability and finite model property of first-order logic with two variables (without function symbols), using a combinatorial theorem due to Herwig.
Szabolcs Mikulás, Maarten Marx
core
Conjunctive table algebras are introduced and axiomatically characterized. A conjunctive table algebra is a variant of SPJR algebra (a weaker form of relational algebra), which corresponds to conjunctive queries with equality. The table operations relate
Schmidt, Stefan E., Kötters, Jens
core
Sahlqvist's theorem for Boolean algebras with operators
, 1991 For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties.
de Rijke, M. +4 more
core
Relativization of cylindric algebras [PDF]
Fundamenta Mathematicae, 1975 Henkin, Leon, Resek, Diane
openaire +1 more source
Cylindrical \(\sigma\)-algebra and cylindrical measure
, 1977 Mitoma, Itaru +2 more
openaire +2 more sources
Isomorphism does not imply lower base-isomorphism for nonregular or non-locally finite-dimensional cylindric algebras [PDF]
, 1987 Biró, Balázs
core
Cylindrical σ-algebra and cylindrical measure
Cylindrical σ-algebra and cylindrical measureopenaire +1 more source