Related papers: Semisimplicity, Glivenko theorems, and the exclude…
Let $\g$ be any simple Lie algebra over $\mathbb{C}$. Recall that there exists an embedding of $\mathfrak{sl}_2$ into $\g$, called a principal TDS, passing through a principal nilpotent element of $\g$ and uniquely determined up to…
It is a celebrated result of McKinsey and Tarski [28] that S4 is the logic of the closure algebra X+ over any dense-in-itself separable metrizable space. In particular, S4 is the logic of the closure algebra over the reals R, the rationals…
Justification logics are modal-like logics that provide a framework for reasoning about justifications. This paper introduces labeled sequent calculi for justification logics, as well as for hybrid modal-justification logics. Using the…
We give a new short proof of Skowronski and Weyman's theorem about the structure of the algebras of semi-invariants of Euclidean quivers, in the case of quivers without oriented cycles. Our proof is based essentially on Derksen and Weyman's…
The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent, labelled sequent formalisms) in order to provide such…
We construct a convenient basis for all real semisimple Lie algebras by means of an adapted Chevalley basis of the complexification. It determines rational and in fact half-integer structure constants which we express only in terms of the…
We prove that any classical affine W-algebra W(g,f), where g is a classical Lie algebra and f is an arbitrary nilpotent element of g, carries an integrable Hamiltonian hierarchy of Lax type equations. This is based on the theories of…
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi…
We introduce a relaxed version of the metric definition of quasiconformality that is natural also for mappings of low regularity, including $W_{\mathrm{loc}}^{1,1}(\mathbb{R}^n;\mathbb{R}^n)$-mappings. Then we show on the plane that this…
We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic from several perspectives. Firstly, we prove that this…
Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic provability of double negation of that formula. We generalise Glivenko's theorem from double negation to an arbitrary nucleus,…
We construct the Jucys-Murphy elements and the Jucys-Murphy basis for the $q$-Brauer algebra in the sense of Mathas[11]. We also give a necessary and sufficient condition for the $q$-Brauer algebra being (split) semisimple over an arbitrary…
A compact symplectic manifold $(M, \omega)$ is said to satisfy the hard-Lefschetz condition if it is possible to develop an analogue of Hodge theory for $(M, \omega)$. This loosely means that there is a notion of harmonicity of differential…
This is a study of S. Kripke's notion of fulfilment. Motivated by Paris-Harrington statement, Kripke was looking for a proof of G\"odel's Incompleteness Theorem which was model-theoretic, natural (without self-reference), and easy.…
From the viewpoint of higher homological algebra, we introduce pure semisimple $n$-abelian category, which is analogs of pure semisimple abelian category. Let $\Lambda$ be an Artin algebra and $\mathcal{M}$ be an $n$-cluster tilting…
We show that the congruence lattice of a semilattice satsifies a form of distributivity relative to principal congruences of the form $ \Theta_{t \odot s, s}$. Particularly, we establish that semilattice congruences obey the ``pairwise…
We construct combinatorial (involutory) Gelfand models for the following diagram algebras in the case when they are semi-simple: Brauer algebra, its partial analogue, walled Brauer algebra, its partial analogue, Temperley-Lieb algebra, its…
In this paper we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties of normal lattice expansions (normal LE-logics).…
The interpretability logic of a mathematical theory describes the structural behavior of interpretations over that theory. Different theories have different logics. This paper from 2011 revolves around the question what logic describes the…
Let W be an irreducible, finitely generated Coxeter group. The geometric representation provides an discrete embedding in the orthogonal group of the so-called Tits form. One can look at the representation modulo the kernel of this form; we…