Related papers: Continuous Craig Interpolation
The purpose of this paper is to develop a suitable notion of continuous L_infinity morphism between DG Lie algebras, and to study twists of such morphisms.
We prove a counterpart of the log-convex density conjecture in the hyperbolic plane.
We prove Sklar's theorem in infinite dimensions via a topological argument and the notion of inverse systems.
A simple proof of Egorov's theorem for infinite measure is given
This paper considers the problem of assumptions refinement in the context of unrealizable specifications for reactive systems. We propose a new counterstrategy-guided synthesis approach for GR(1) specifications based on Craig's…
For Fatou's interpolation theorem of 1906 we suggest a new elementary proof.
We use a cohomology theory coming from the canonical trace on a C*-algebra of the projective variety to prove an analog of the Riemann Hypothesis for the Kuga-Sato varieties over finite fields.
We present an elementary proof for an approximate expression of the Bergman kernel on homogeneous spaces, and products of them. The error term is exponentially small with respect to the inverse semiclassical parameter.
The class $Ts(r,f)$ the trigonometric interpolation splines depending on the parameter vectors, selected convergence factors and interpolation factors is considered. The main properties of simple interpolation trigonometric splines are…
We extend Robertson and Seymour's tangle-tree duality theorem to infinite graphs.
We study the skew-symmetric prolongation of a Lie subalgebra $\g \subseteq \mathfrak{so}(n)$, in other words the intersection $\Lambda^3 \cap (\Lambda^1 \otimes \g)$.We compute this space in full generality. Applications include uniqueness…
In this short note we confirm an analog of a conjecture of James Wiegold for finite dimensional nilpotent Lie algebras.
This is a continuation of "Mirror Principle III"(math.AG/9912038).
We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…
Using techniques of projective geometry, we give elementary proofs of two theorems concerning Hagge configurations.
We introduce Poisson double algebroids, and the equivalent concept of double Lie bialgebroid, which arise as second-order infinitesimal counterparts of Poisson double groupoids. We develop their underlying Lie theory, showing how these…
We prove the analogue of the Heyde theorem for a-adic solenoids.
Categorial methods for generating new local algebras from old ones are presented. A direct proof of the differential structure of the prolongations of a manifold is proposed.
A new kind of diagrams is presented, showing the causal structure of bimetric interactions.
The problem of computing Craig Interpolants has recently received a lot of interest. In this paper, we address the problem of efficient generation of interpolants for some important fragments of first order logic, which are amenable for…