Related papers: Goldblatt-Thomason for LE-logics

In this paper we give simple extension and uniqueness theorems for restricted additive and logarithmic functional equations.

We provide several general versions of Littlewood's Tauberian theorem. These versions are applicable to Laplace transforms of Schwartz distributions. We apply these Tauberian results to deduce a number of Tauberian theorems for power series…

We show that, contrary to the commonly held view, there is a natural and optimal compactness theorem for $\mathrm{L}_{\infty\infty}$ which generalizes the usual compactness theorem for first order logic. The key to this result is the switch…

We prove preservation theorems for $\mathcal{L}_{\omega_1, G}$, the countable fragment of Vaught's closed game logic. These are direct generalizations of the theorems of \L{}o\'s-Tarski (resp. Lyndon) on sentences of $\mathcal{L}_{\omega_1,…

Essentially generalizing Lie's results, we prove that the contact equivalence groupoid of a class of (1+1)-dimensional generalized nonlinear Klein-Gordon equations is the first-order prolongation of its point equivalence groupoid, and then…

Thomason's \'{e}tale descent theorem for Bott periodic algebraic $K$-theory \cite{aktec} is generalized to any $MGL$ module over a regular Noetherian scheme of finite dimension. Over arbitrary Noetherian schemes of finite dimension, this…

We establish an analogue of the Goldbach conjecture for Laurent polynomials with positive integer coefficients.

We prove a splitting theorem for globally hyperbolic, weighted spacetimes with metrics and weights of regularity $C^1$ by combining elliptic techniques for the negative homogeneity $p$-d'Alembert operator from our recent work in the smooth…

In this paper, some of formulations of Hamilton-Jacobi equations for Hamiltonian system on Lie algebroids are given. Here we use the general properties of Lie algebroids to express and prove two geometric version of the Hamilton-Jacobi…

This paper introduces a notion of generalised geometric logic. Connections of generalised geometric logic with L-topological system and L-topological space are established.

Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal…

We answer a question posed by Makowsky and Pnueli and show that the logic $(\pm\mbox{HEX})^\ast[\mbox{FO}_s]$, where HEX is the operator (i.e., uniform sequence of Lindstr\"om quantifiers) corresponding to the well-known {\bf…

Let $X$ be a normal variety over a perfect field of positive characteristic and $B$ a reduced divisor on $X$. We prove that if the Cartier isomorphism on the log smooth locus of $(X,B)$ extends to the entire $X$, then $(X,B)$ satisfies the…

We prove the universality theorem for the iterated integrals of logarithms of $L$-functions in the Selberg class on some line parallel to the real axis.

We introduce and develop a topological semantics of conservativity logics and interpretability logics. We prove the topological compactness theorem of consistent normal extensions of the conservativity logic $\mathbf{CL}$ by extending…

We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on justification terms and equality predicate on terms. In…

We prove an analog of Lagrange's Theorem for continued fractions on the Heisenberg group: points with an eventually periodic continued fraction expansion are those that satisfy a particular type of quadratic form, and vice-versa.

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

The ordinary continued fractions expansion of a real number is based on the Euclidean division. Variants of the latter yield variants of the former, all encompassed by a more general Dynamical Systems framework. For all these variants the…

We prove a sharpened version of a conjecture of Dong-Mason about lattice subalgebras of a strongly regular vertex operator algebra $V$, and give some applications. These include the existence of a canonical conformal subVOA $W\otimes…