English
Related papers

Related papers: On complete representability of Pinter's algebras …

200 papers

We prove the result in the title. We infer, that unlike cylindric algebras, there is a first order axiomatization of the class of completely representable polyadic algebras of infinite dimension, though the one we obtain is infinite; in…

Logic · Mathematics 2013-06-07 Tarek Sayed Ahmed

For representation by partial functions in the signature with intersection, composition and antidomain, we show that a representation is meet complete if and only if it is join complete. We show that a representation is complete if and only…

Rings and Algebras · Mathematics 2017-08-01 Brett McLean

In this paper we give an alternative construction using Monk like algebras that are binary generated to show that the class of strongly representable atom structures is not elementary. The atom structures of such algebras are cylindric…

Logic · Mathematics 2013-07-17 Tarek Sayed Ahmed , Mohammed Khaled

We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide and prove the correctness of a finite equational…

Logic · Mathematics 2022-12-05 Célia Borlido , Brett McLean

We study different representation theorems for various reducts of Heyting polyadic algebras. Superamalgamation is proved for several (natural reducts) and our results are compared to the finitizability problem in classical algebraic logic…

Logic · Mathematics 2013-04-08 Tarek Sayed Ahmed

We show that atomic polyadic algebras of infinite dimensions are completely representable

Logic · Mathematics 2013-01-25 Tarek Sayed Ahmed

We consider selfinjective Artin algebras whose cohomology groups are finitely generated over a central ring of cohomology operators. For such an algebra, we show that the representation dimension is strictly greater than the maximal…

Representation Theory · Mathematics 2007-11-20 Petter Andreas Bergh

We consider a version of a famous open problem formulated by Kadison, asking whether bounded representations of operator algebras are automatically completely bounded. We investigate this question in the context of amenable operator…

Operator Algebras · Mathematics 2017-08-02 Raphaël Clouâtre , Laurent W. Marcoux

While every polyadic algebra ($\PA$) of dimension 2 is representable, we show that not every atomic polyadic algebra of dimension two is completely representable; though the class is elementary. Using higly involved constructions of Hirsch…

Logic · Mathematics 2013-04-11 Tarek Sayed Ahmed

We study atom canonicity for several varieties of cylindric like algebras that contain properly the variety of representable algebras. The algebras in such varieties have relativized representations, and we thereby obtain many omitting…

Logic · Mathematics 2013-08-29 Tarek Sayed Ahmed

We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More generally, we characterize those varieties of Heyting algebras in…

Logic · Mathematics 2021-03-04 G. Bezhanishvili , N. Bezhanishvili , T. Moraschini , M. Stronkowski

Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…

Logic · Mathematics 2023-01-09 Andrew Lewis-Smith Jaš Šemrl

Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(\Lambda\rm{-mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension,…

Representation Theory · Mathematics 2014-07-10 B. Huisgen-Zimmermann , S. O. Smalø

In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is representable over a finite base. This result gives a positive…

Logic · Mathematics 2021-12-21 Daniel Rogozin

Many finite symmetric integral non-representable relation algebras, including almost all Monk algebras, can be embedded in the completion of an atomic symmetric integral representable relation algebra whose finitely-generated subalgebras…

Logic · Mathematics 2019-01-08 Roger D. Maddux

We give a simpler proof of a result of Hodkinson in the context of a blow and blur up construction argueing that the idea at heart is similar to that adopted by Andr\'eka et all \cite{sayed}. The idea is to blow up a finite structure,…

Logic · Mathematics 2013-05-21 Tarek Sayed Ahmed

In the article at hand, we sketch how, by utilizing nilpotency to its fullest extent (Engel, Super Engel) while using methods from the theory of universal enveloping algebras, a complete description of the indecomposable representations may…

Representation Theory · Mathematics 2012-10-09 Hans Plesner Jakobsen

We present a conjecture on the irreducibility of the tensor products of fundamental representations of quantized affine algebras. This conjecture implies in particular that the irreducibility of the tensor products of fundamental…

q-alg · Mathematics 2015-12-22 Tatsuya Akasaka , Masaki Kashiwara

The present paper mainly considers the representation type of the enveloping algebra of monomial algebra. Let $A$ be a monomial algebra and $A^e= A\otimes_{\mathrm{l}\!\mathrm{k}} A^{\mathrm{op}}$ its enveloping algebra. It is shown that…

Representation Theory · Mathematics 2024-04-30 Jianguo Zhou , Yu-Zhe Liu , Chao Zhang

Let $A$ be a finite dimensional hereditary algebra over an algebraically closed field $k$, $T_2(A)=(\begin{array}{cc}A&0 A&A\end{array})$ be the triangular matrix algebra and $A^{(1)}=(\begin{array}{cc}A&0 DA&A\end{array})$ be the…

Representation Theory · Mathematics 2013-01-24 Hongbo Yin , Shunhua Zhang
‹ Prev 1 2 3 10 Next ›