Related papers: Continuous Craig Interpolation
We develop a quasisymmetric analogue of the theory of Schubert cycles, building off of our previous work on a quasisymmetric analogue of Schubert polynomials and divided differences. Our constructions result in a natural geometric…
In the paper, the planar polynomial geometric interpolation of data points is revisited. Simple sufficient geometric conditions that imply the existence of the interpolant are derived in general. They require data points to be convex in a…
Converse PDL is the extension of propositional dynamic logic with a converse operation on programs. Our main result states that Converse PDL enjoys the (local) Craig Interpolation Property, with respect to both atomic programs and…
Continuing from part (I), we develop properties of real intersection theory that turns out to be an extension of the well-established theory in algebraic geometry.
We show how variations of range-restriction and also the Horn property can be passed from inputs to outputs of Craig interpolation in first-order logic. The proof system is clausal tableaux, which stems from first-order ATP. Our results are…
We provide the first (non-labelled) sequent calculi for bimodal provability logics with "usual" provability predicates. In particular, we introduce calculi for the logics CS, CSM and ER. Additionally, we present non-wellfounded versions of…
We give a q-analogue of Gauss' divisibility theorem
In this note we prove that the constant and equivariant cyclic cohomology of algebras coincide. This shows that constant cyclic cohomology is rich and computable.
Interpolation-based techniques become popular in recent years, as they can improve the scalability of existing verification techniques due to their inherent modularity and local reasoning capabilities. Synthesizing Craig interpolants is the…
Given a sequence of real numbers, we consider its subsequences converging to possibly different limits and associate to each of them an index of convergence which depends on the density of the associated subsequences. This index turns out…
The aim of this paper is to give new representation theorems for extended contact algebras. These representation theorems are based on equivalence relations.
Chern-Simons theory is analyzed with a gauge-fixing which allows to discuss the Landau gauge and the light-cone gauge at the same time.
In this paper we prove some interpolation theorems for the multipliers of the Cauchy- Stiltjes type integrals
In this short note we give an interpretation of the Kirchheim-Magnani counterexample to metric differentiability in terms of dilatation structures.
We prove an analogue of the Lagrange Inversion Theorem for Dirichlet series. The proof is based on studying properties of Dirichlet convolution polynomials, which are analogues of convolution polynomials introduced by Knuth in [4].
We introduce complex intersection bodies and show that their properties and applications are similar to those of their real counterparts. In particular, we generalize Busemann's theorem to the complex case by proving that complex…
We present infinite analogues of our splinter lemma from [Trees of tangles in abstract separation systems, arXiv:1909.09030]. From these we derive several tree-of-tangles-type theorems for infinite graphs and infinite abstract separation…
In this paper, we prove a structure theorem for the infinite union of $n$-adic doubling measures via techniques which involve far numbers. Our approach extends the results of Wu in 1998, and as a by product, we also prove a classification…
We prove a model theorem for factor maps between ergodic, infinite measure-preserving systems.
We show that two smooth nearby Riemannian metrics can be glued interpolating their scalar curvature. The resulting smooth metric is the same as the starting ones outside the gluing region and has scalar curvature interpolating between the…