Related papers: Goldblatt-Thomason for LE-logics

In this paper we prove a generalization of famous Larchr's theorem concerning good lattice points.

Recently, Abbadini and Guffanti gave an algebraic proof of Herbrand's theorem using a completion for Lawvere doctrines that freely adds existential and universal quantifiers. A more direct argument can be given by only completing with…

Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication reduct of E is term equivalent to E. Then we present a…

We construct a non-linear electrodynamics arising from the spontaneous Lorentz symmetry breaking triggered by a non-zero vacuum expectation value of the electromagnetic field strength, instead of the electromagnetic potential. The expansion…

We study the existence of formal Taylor expansions for functions defined on fields of generalised series. We prove a general result for the existence and convergence of those expansions for fields equipped with a derivation and an…

We prove that a finite torsion-free conformal Lie algebra with a splitting solvable radical has a finite faithful conformal representation.

We present a simple extension of Lindeberg's argument for the Central Limit Theorem to get a general invariance result. We apply the technique to prove results from random matrix theory, spin glasses, and maxima of random fields.

We prove an endpoint version of the Stein-Tomas restriction theorem, for a general class of measures, and with a strengthened Lorentz space estimate. A similar improvement is obtained for Stein's estimate on oscillatory integrals of…

The classic Gauss-Lucas Theorem for complex polynomials of degree $d\ge2$ has a natural reformulation over quaternions, obtained via rotation around the real axis. We prove that such a reformulation is true only for $d=2$. We present a new…

We treat the lattice sine-Gordon equation and two of its generalised symmetries as a compatible system. Elimination of shifts from the two symmetries of the lattice sine-Gordon equation yields an integrable NLS-type system. An…

We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements that we call Quasi-Theorems.

In this paper, we extend the uniform $L^2$-estimate of $\bar{\partial}$-equations for flat nontrivial line bundles, proved for compact K\"ahler manifolds in the previous work, to compact complex manifolds. In the proof, by tracing the…

Since the introduction by Hodges, and refinement by V\"a\"an\"anen, team semantic constructions have been used to generate expressively enriched logics still conserving nice properties, such as compactness or decidability. In contrast,…

With the uniform positions we prove theorems of Landau and Hardy-Littlwood type for Goldbach, Chen, Lemoine-Levy and other binary partitions of positive integers. We also pose some new conjectures.

We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes…

A theorem of L\"utkebohmert states that a rigid group homomorphism from the formal multiplicative group to a smooth commutative rigid group $G$, with relatively compact image, can be extended to a homomorphism from the rigid multiplicative…

We give a new proof of the fundamental theorem of algebra. It is entirely elementary, focused on using long division to its fullest extent. Further, the method quickly recovers a more general version of the theorem recently obtained by…

We prove that in every compact space of Delone sets in $\mathbb{R}^d$ which is minimal with respect to the action by translations, either all Delone sets are uniformly spread, or continuously many distinct bounded displacement equivalence…

For a partial lattice L the so-called two-point extension is defined in order to extend L to a lattice. We are motivated by the fact that the one-point extension broadly used for partial algebras does not work in this case, i.e. the…

Lepage's improvement scheme is a recent major progress in lattice $QCD$, allowing to obtain continuum physics on very coarse lattices. Here we discuss improvement in the Hamiltonian formulation, and we derive an improved Hamiltonian from a…