Related papers: Varieties of positive modal algebras and structura…

A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…

We initiate the study of finite characterizations and exact learnability of modal languages. A finite characterization of a modal formula w.r.t. a set of formulas is a finite set of finite models (labelled either positive or negative) which…

We call a finite-dimensional K-algebra A geometrically irreducible if for all d, all connected components of the affine scheme of d-dimensional A-modules are irreducible. We show that the geometrically irreducible algebras without loops…

We study locally finite varieties (=primitive classes) of linear algebras over finite fields. We do not assume that our algebras are associative or Lie. We are interested in the basic properties of finite algebras in these varieties such…

Over an arbitrary field of positive characteristic we construct an example of a locally finite variety of Lie algebras which does not have a finite basis of its polynomial identities. As a consequence we construct varieties of Lie algebras…

For each natural number $n$ we study the modal logic determined by the class of transitive Kripke frames in which there are no cycles of length greater than $n$ and no strictly ascending chains. The case $n=0$ is the G\"odel-L\"ob…

The rationality and C_2-cofiniteness of the orbifold vertex operator algebra V_{L_{2}}^{A_{4}} are established and all the irreducible modules are constructed and classified. This is part of classification of rational vertex operator…

Positive MV-algebras are the subreducts of MV-algebras with respect to the signature $\{\oplus, \odot, \lor, \land, 0, 1\}$. We provide a finite quasi-equational axiomatization for the class of such algebras.

If V is a finitely generated variety such that the first-order theory of the finite members of V is decidable, we show that V is residually finite, and in fact has a finite bound on the sizes of subdirectly irreducible algebras. This result…

Let $A$ be a tubular algebra and let $r$ be a positive irrational. Let ${\mathcal D}_r$ be the definable subcategory of $A$-modules of slope $r$. Then the width of the lattice of pp formulas for ${\mathcal D}_r$ is $\infty$. It follows that…

An algebra $A$ is said to be directly finite if each left invertible element in the (conditional) unitization of $A$ is right invertible. We show that the reduced group ${\rm C}^\ast$-algebra of a unimodular group is directly finite,…

Let $A$ be a quasi-hereditary algebra. We prove that in many cases, a tilting module is rigid (i.e. has identical radical and socle series) if it does not have certain subquotients whose composition factors extend more than one layer in the…

In previous articles, we showed that the category of profinite $L$-algebras (where $L$ is a normal modal logic with the finite model property) is monadic over $\textbf{Set}$. Then, we developed sequent calculi for extensions of the language…

We investigate whether every computable member of a given class of structures admits a fully primitive recursive (also known as punctual) or fully P-TIME copy. A class with this property is referred to as punctually robust or P-TIME robust,…

We give an alternative proof to the fact that if the square of the infinite radical of the module category of an Artin algebra is equal to zero then the algebra is of finite type by making use of the theory of postprojective and…

A topological space is \emph{hereditarily $k$-irresolvable} if none of its subspaces can be partitioned into $k$ dense subsets, We use this notion to provide a topological semantics for a sequence of modal logics whose $n$-th member…

Let A be a finitely generated associative algebra over an algebraically closed field. We characterize the finite dimensional modules over A whose orbit closures are regular varieties.

''Positive geometries'' are a class of semi-algebraic domains which admit a unique ''canonical form'': a logarithmic form whose residues match the boundary structure of the domain. The study of such geometries is motivated by recent…

Varieties of quantitative algebras are fully described by their free-algebra monads on the category Met of metric spaces. For a longer time it has been an open problem whether the resulting enriched monads are precisely the strongly…

In this paper we introduce a family of examples that can be regarded as spaces of nonpositive curvature, but with the distinct quality that they are not complete as metric spaces. This amounts to the fact that they are modelled on a finite…