Related papers: Completely hereditarily atomic OMLs

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…

A cancellative and commutative monoid $M$ is atomic if every non-invertible element of $M$ factors into irreducibles (also called atoms), and $M$ is hereditarily atomic if every submonoid of $M$ is atomic. In addition, $M$ is hereditary…

We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.

Establishing whether an algebra is quasi-hereditary or not is, in general, a difficult problem. In this paper we introduce a sufficient criterion to determine whether a general finite dimensional algebra is quasi-hereditary by showing that…

We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure $M$. We prove that if $T$ is a complete $L$-theory, then $T$ is mutually algebraic if and only if there is some model $M$ of $T$ for…

We answer an implicit question of Ian Hodkinson's. We show that atomic Pinters algebras may not be completely representable, however the class of completely representable Pinters algebras is elementary and finitely axiomatizable. We obtain…

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

We introduce a notion of ``hereditarily antisymmetric'' operator algebras and prove a structure theorem for them in finite dimensions. We also characterize those operator algebras in finite dimensions which can be made upper triangular and…

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…

The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…

Motivated by the structure of the algebras associated to the blocks of the BGG-category O we define a subclass of quasi-hereditary algebras called 1-quasi-hereditary. Many properties of these algebras only depend on the defining partial…

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…

We show how any finite-dimensional algebra can be realized as an idempotent subquotient of some symmetric quasi-hereditary algebra. In the special case of rigid symmetric algebras we show that they can be realized as centralizer subalgebras…

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…

Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for…

We study the question of when geometric extension algebras are polynomial quasihereditary. Our main theorem is that under certain assumptions, a geometric extension algebra is polynomial quasihereditary if and only if it arises from an even…

We characterize atomistic effect algebras, prove that a weakly orthocomplete Archimedean atomic effect algebra is orthoatomistic and present an example of an orthoatomistic orthomodular poset that is not weakly orthocomplete.

We introduce the notion of the algebraic overshear density property which implies both the algebraic notion of flexibility and the holomorphic notion of the density property. We investigate basic consequences of this stronger property, and…

Let $A$ be a finite dimensional algebra over an algebraically closed field $\mathbf{k}$. If $A$ is quasi-hereditary and the projective dimensions of all standard modules are at most one, then $A$ is called left strongly quasi-hereditary. In…

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,…