Related papers: Continuous Craig Interpolation
We illustrate the interplay between certain discrete and continuous problems, by presenting a method for the study of the asymptotics of a divergent sequence, through consideration of the asymptotics of its continuous analogue
In this paper, we extend a fixed point theorem due to Ciric to a cone metric space.
In this short note, we merge the areas of hypercomplex algebras with that of fractal interpolation and approximation. The outcome is a new holistic methodology that allows the modelling of phenomena exhibiting a complex self-referential…
We prove an infinite analogue of the main theorem of discrete Morse theory formulated in terms of discrete Morse matchings. Our theorem holds under the assumption that the given Morse matching induces finitely many equivalence classes of…
We prove an analogue in Arakelov geometry of the Grothendieck-Riemann-Roch theorem.
We establish the exact overlaps conjecture for iterated functions systems on the real line with algebraic contractions and arbitrary translations.
We show that the variety of modal lattices has the superamalgamation property. As a consequence, we obtain that the weak positive modal logic has the Craig interpolation property. Our proof employs the recent duality for modal lattices…
We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic.
The Isometry Theorem for continuous quiver of type $A$ plays an important role in persistent homology. In this paper, we shall generalize Isometry Theorem to continuous quiver of type $\tilde{A}$.
We expose here a short proof of Cramer's theorem in R based on convex duality.
The main purpose of this paper is to construct not only generating functions of the new approach Genocchi type numbers and polynomials but also interpolation function of these numbers and polynomials which are related to a, b, c arbitrary…
We present a formulation of chiral gauge theories, which admits more general spectra of Dirac operators and reveals considerably more possibilities for the structure of the chiral projections. Our two forms of correlation functions both…
I develop the simplest geometric-discretized analogue of two dimensional scalar field theory, which qualitatively reproduces the trace anomaly of the continuous theory. The discrete analogue provides an interpretation of the trace anomaly…
We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure.
We prove the uniform interpolation theorem in modal provability logics GL and Grz by a proof-theoretical method, using analytical and terminating sequent calculi for the logics. The calculus for G\"odel-L\"ob's logic GL is a variant of the…
Let $\Gamma$ be a metric graph having a linear system $g^r_{2r}$ for some $2 \leq r \leq g-2$ then $\Gamma$ has a linear system $g^1_2$. This is similar to the well-known Clifford's Theorem from the theory of linear systems on smooth…
We prove a uniformization theorem in complex algebraic geometry.
G3-style sequent calculi for the logics in the cube of non-normal modal logics and for their deontic extensions are studied. For each calculus we prove that weakening and contraction are height-preserving admissible, and we give a syntactic…
In this short note we explain why the log-Brunn-Minkowski conjecture is correct for complex convex bodies. We do this by relating the conjecture to the notion of complex interpolation, and appealing to a general theorem by…
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown,…