Related papers: Characteristic formulas over intermediate logics
By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…
Over an algebraically closed field we classify all minimal representation-infinite algebras where the lattice of two-sided ideals is not distributive. As a consequence there are only finitely many isomorphism classes of minimal…
Categories of models of algebraic theories have good categorical properties except for gluing. Building upon insights and examples from Synthetic Differential Geometry, we introduce a generalisation of models of algebraic theories to…
For every $n \in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.
In this paper we determine the representation type of some algebras of infinite matrices continuously controlled at infinity by a compact metrizable space. We explicitly classify their finitely presented modules in the finite and tame…
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 classify essential algebras whose irredundant non-refinable covers consist of primal algebras. The proof is obtained by constructing one to one correspondence between such algebras and partial orders on finite sets. Further, we prove…
We give a simplified complete proof for the classification of the selfinjective representation-finite algebras of finite dimension over an algebraically closed field. We explain the relations between the two different approaches and also to…
This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…
We study the representation theory of the infinite type A Hecke algebra over a non-archimedean field in the case where the parameter is a pseudo-uniformizer. Specifically, we consider a family of representations, called almost-symmetric,…
We develop some basic results about full amalgamation classes with intrinsic trascendentals. These classes have generics whose models may have finite subsets whose intrinsic closure is not contained in its algebraic closure. We will show…
We present a theory that produces several examples where the homotopy Lie algebra of a complex hyperplane arrangement is not finitely presented. We also present examples of hyperplane arrangements where the enveloping algebra of this Lie…
We extend Lang's conjectures to the setting of intermediate hyperbolicity and prove two new results motivated by these conjectures. More precisely, we first extend the notion of algebraic hyperbolicity (originally introduced by Demailly) to…
Using a combinatorial description due to Jacon and Lecouvey of the wall crossing bijections for cyclotomic rational Cherednik algebras, we show that the irreducible representations $L_c(\lambda^\pm)$ of the rational Cherednik algebra…
Let G be a connected split reductive group over a complete discrete valuation ring of mixed characteristic. We use the theory of intermediate extensions due to Abe-Caro and arithmetic Beilinson-Bernstein localization to classify irreducible…
We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as…
In this paper, we first present a classification theorem of infinite-dimensional simple Novikov algebras over an algebraically closed field with characteristic 0. Then we classify all the irreducible modules of a certain…
We parameterize the finite-dimensional irreducible representations of a class of pointed Hopf algebras over an algebraically closed field of characteristic zero by dominant characters. The Hopf algebras we are considering arise in the work…
We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety is not finitely axiomatisable in first order logic, but…
We construct a new family of infinite-dimensional quasi-graded Lie algebras on hyperelliptic curves. We show that constructed algebras possess infinite number of invariant functions and admit a decomposition into the direct sum of two…