Related papers: Goldblatt-Thomason for LE-logics

Using the classical Lazard's elimination theorem, we obtain a decomposition theorem for Lie algebras defined by generators and relations of a certain type. This is a preprint version of the paper appearing in Communications in Algebra…

We establish explicit operator norm bounds and essential self-adjointness criteria for discrete Hodge Laplacians on weighted graphs and simplicial complexes. For unweighted $d$-regular graphs we prove the universal estimate…

Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…

In this paper we prove the validity of Gibbons' conjecture for a coupled competing Gross-Pitaevskii system. We also provide sharp a priori bounds, regularity results and additional Liouville-type theorems.

We study two notions of definability for classes of relational structures based on modal extensions of {\L}ukasiewicz finitely valued-logics. The main results of the paper are the equivalent of the Goldblatt - Thomason theorem for these…

We establish the Lyndon interpolation property for basic lattice expansion logics (LE-logics) in arbitrary signatures using display calculi. Our approach is constructive, yielding interpolants algorithmically from derivations, and modular,…

In this paper, we prove the propagation of uniform upper bounds for the spatially homogeneous relativistic Boltzmann equation. These $L^\infty$ bounds have been known to be a challenging open problem in relativistic kinetic theory. To…

The paper is essentially a continuation of B.Plotkin, G.Zhitomirski, "Some logical invariants of algebras and logical relations between algebras", St.Peterburg Math. J., {19:5}, (2008) 859 -- 879, whose main notion is that of…

We begin with a short exposition of the theory of lattice varieties. This includes a description of their orbit structure and smooth locus. We construct a flat cover of the lattice variety and show that it is a complete intersection. We…

We prove a Tauberian theorem for the Laplace--Stieltjes transform and Karamata-type theorems in the framework of regularly log-periodic functions. As an application we determine the exact tail behavior of fixed points of certain type…

Let $G$ be a semisimple Lie group and $\Gamma$ a lattice in $G$. We generalize a method of Burger to prove precise effective equidistribution results for translates of pieces of horospheres in the homogeneous space $\Gamma\backslash G$.

In order to derive the equivalent partial differential equations of a lattice Boltzmann scheme,the Chapman Enskog expansion is very popular in the lattive Boltzmann community. A maindrawback of this approach is the fact that multiscale…

In this paper, we present a geometric form of the Hahn-Banach extension theorem for $L^{0}-$linear functions and prove that the geometric form is equivalent to the analytic form of the Hahn-Banach extension theorem. Further, we use the…

We study lattice-theoretical extensions of the celebrated Sauer-Shelah-Perles Lemma. We conjecture that a general Sauer-Shelah-Perlem Lemma holds for a lattice $L$ if and only if $L$ is relatively complemented, and prove partial results…

We ask questions generalizing uniform versions of conjectures of Mordell and Lang and combining them with the Morton--Silverman conjecture on preperiodic points. We prove a few results relating different versions of such questions.

A general form of the Lions-Magenes theorems on solvability of an elliptic boundary-value problem in the spaces of nonregular distributions is proved. We find a general condition on the space of right-hand sides of the elliptic equation…

In this note we analyse the Lie algebras of physical states stemming from lattice constructions on general even, self-dual lattices Gamma^{p,q} with p greater or equal to q. It is known that if the lattice is at most Lorentzian, the…

We present a simpler way than usual to deduce the completeness theorem for the second-oder classical logic from the first-order one. We also extend our method to the case of second-order intuitionistic logic.

We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…

Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each…