Related papers: Inversion of adjunction for higher rational singul…
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has…
WWe give a rational closed form expression for the higher derivatives of the inverse tangent function and discuss its relation to Chebyshev polynomials, trigonometric expansions and Appell sequences of polynomials.
We give a simple proof of the Fourier Inversion Theorem, using the methods of nonstandard analysis.
A method is proposed to construct spiral curves by inversion of a spiral arc of parabola. The resulting curve is rational of 4-th order. Proper selection of the parabolic arc and parameters of inversion allows to match a wide range of…
We generalize the concept of disjunction.
This work investigates preserving and reversing unimodality and convexity properties for sequences under transformations defined by sign-regular kernels. It is shown that these transformations only preserve these properties if the kernels…
We study the systems of ordinary differential equations which are implicit with respect to the higher derivatives, appearing in the linear form, and their solutions near the singular points. The invertibility of the higher derivatives…
Despite the failure of the integral Hodge conjecture, we show that the rational Hodge conjecture implies an integral version (modulo torsion) of the absolute Hodge conjecture.
Let U be an open subset of a unirational variety (or more generally of a separably rationally connected variety). We prove that there is rational curve C in U such that the fundamental group of C surjects onto the fundamental group of U.…
We survey recent developments on the Restriction conjecture.
A proof of Sendov's conjecture is given.
A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.
We prove a curious identity for the Bernoulli numbers.
We disprove a conjecture of Simon for higher-order Szego theorems for orthogonal polynomials on the unit circle and propose a modified version of the conjecture.
We prove a result on lower bounds in large dimensions.
This is the second combinatorial proof of the compactness theorem for singular from 1977. In fact it gives a somewhat stronger theorem.
This paper summarizes the results at the present moment about singularities with respect to the Mather-Jacobian log discrepancies over algebraically closed field of arbitrary characteristic. The basic point is the Inversion of Adjunction…
We consider the immediate consequence of an arguable addition to the standard Deduction Theorems of first order theories.
We prove that an inverse semigroup over an Adian presentation is E-unitary.
In this paper, I prove a very general extension theorem for log pluricanonical systems. The main application of this extension theorem is (together with Kawamata's subadjunction theorem) to give an optimal subadjunction theorem which…