Related papers: Continuous Craig Interpolation
This chapter presents a state-of-the-art survey of relationships, traditionally referred to as `bridges', between interpolation properties for propositional logics -- including superintuitionistic, modal, and substructural logics -- and…
We study the categorical framework for the computation of persistent homology, without reliance on a particular computational algorithm. The computation of persistent homology is commonly summarized as a matrix theorem, which we call the…
We prove metric rigidity for complete manifolds supporting solutions of certain second order differential systems, thus extending classical works on a characterization of space-forms. In the route, we also discover new characterizations of…
In this article we investigate an interpolating gauge fixing procedure in $(4l+3)$-dimensional abelian Chern-Simons theory. We show that this interpolating gauge is related to the covariant gauge in a constant anisotropic metric. We compute…
We give a counting based proof of the Graham Pollak Theorem
Clifford theory of possibly infinite dimensional modules is studied
We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…
Many systems of interest to control engineering can be modeled by linear complementarity problems. We introduce a new notion of equivalence between linear complementarity problems that sets the basis to translate the powerful tools of…
In this paper, a proof-theoretic method to prove uniform Lyndon interpolation for non-normal modal and conditional logics is introduced and applied to show that the logics $\mathsf{E}$, $\mathsf{M}$, $\mathsf{EN}$, $\mathsf{MN}$,…
The interrelations between the inverse problems of the representation theory and the categorical representation theory are discussed.
We apply the technique of integrable extensions to the symmetry pseudo-group of the dKP-hyper CR interpolating equation. This allows us to find a covering for this equation and to construct multi-valued Einstein-Weyl structures.
I show how to associate a Clifford algebra to a graph. I describe the structure of these Clifford graph algebras and provide many examples and pictures. I describe which graphs correspond to isomorphic Clifford algebras and also discuss…
We develop an analog to the ends of a metric space for the category of coarse metric spaces and show that it is equivalent to a previously defined coarse invariant.
We prove a noncommutative version of Bishop's peak interpolation-set theorem.
We prove finite-field analogs of Bourgain's projection theorem in higher dimensions. In particular, for a certain range of parameters we improve on an exceptional set estimate by Chen in all dimensions and codimensions.
A proof of the isometric embedding of a given two-metric in E^3 of class C^1. The method uses the theory of first order partial differential equations. The curvature of the metric plays no role in the proof.
The goal of this paper is twofold; on one hand we wish to present some statements that can be formulated in terms of Interpolation theory which are equivalent to the truth or the falseness of the Riemann Hypothesis, on the other hand we…
We use bifurcation theory to show the existence of infinite sequences isometric embeddings of tori with constant mean curvature (CMC) in Euclidean spheres that are not isometrically congruent to the CMC Clifford tori, and accumulating at…
We show that doubling, linearly connected metric spaces are quasi-arc connected. This gives a new and short proof of a theorem of Tukia.
We give down-to-earth proofs of the structure theorems for persistence modules.