Related papers: Goldblatt-Thomason for LE-logics

This paper develops a proof-theoretic framework for abstract interpretation by systematically associating logical systems with finite abstractions. Building on earlier work on the internal logics of abstractions, we propose a general…

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…

Let $\Gamma$ be a lattice in $G=\mathrm{SL}(2,\mathbb{C})$. We give an effective equidistribution result with precise error terms for expanding translates of pieces of horospherical orbits in $\Gamma\backslash G$. Our method of proof relies…

We determine all the ideals of the homological Goldman Lie algebra, which reflects the structure of an oriented surface.

This paper is concerned with the concept of linear repetitivity in the theory of tilings. We prove a general uniform subadditive ergodic theorem for linearly repetitive tilings. This theorem unifies and extends various known (sub)additive…

We prove that any map between projection lattices of $AW^\ast$-algebras $A$ and $B$, where $A$ has no Type $I_2$ direct summand, that preserves orthocomplementation and suprema of arbitrary elements, is a restriction of a normal Jordan…

We prove a new and unified GAGA theorem. This recovers all analytic and formal GAGA results in the literature, and is also valid in the non-noetherian setting. Our method can also be used to establish various Lefschetz theorems and…

The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic. In this…

We prove a uniformization theorem in complex algebraic geometry.

We develop a theory of semialgebra Grassmann triples via Hasse-Schmidt derivations, which formally generalizes results such as the Cayley-Hamilton theorem in linear algebra, thereby providing a unified approach to classical linear algebra…

In this paper we prove an existence theorem concerning linear forms of a given Diophantine type and apply it to study the structure of the spectrum of lattice exponents.

A crucial step in the history of General Relativity was Einstein's adoption of the principle of general covariance which demands a coordinate independent formulation for our spacetime theories. General covariance helps us to disentangle a…

Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of…

Motivated by representation theory and geometry, we introduce and develop an equivariant generalization of Ehrhart theory, the study of lattice points in dilations of lattice polytopes. We prove representation-theoretic analogues of…

It is well known that the Poisson Lie algebra is isomorphic to the Hamiltonian Lie algebra. We show that the Poisson Lie algebra can be embedded properly in the special type Lie algebra. We also generalize the Hamiltonian Lie algebra using…

The Blok-Esakia theorem states that there is an isomorphism from the lattice of intermediate logics onto the lattice of normal extensions of Grzegorczyk modal logic. The extension for multi-conclusion consequence relations was obtained by…

Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…

We present a general way to define a topology on orthomodular lattices. We show that in the case of a Hilbert lattice, this topology is equivalent to that induced by the metrics of the corresponding Hilbert space. Moreover, we show that in…

We simplify in this note Galbis' proof of certain norm estimates for self-adjoint Toeplitz operators on the Fock space. This relies on an extension (and a unification) of his integration lemmas, yet with a simpler proof in the same spirit.

Leighton's graph covering theorem states that two finite graphs with common universal cover have a common finite cover. We generalize this to a large family of non-positively curved special cube complexes that form a natural generalization…