Related papers: A counter-example for polynomial version of Sarnak…
The famous Michael selection theorem deals with the characterisation of paracompact spaces by continuous selections of lower semi-continuous mappings in Banach spaces. In this paper, we will discuss several equivalent forms of this theorem,…
The basic system E of dyadic deontic logic proposed by {\AA}qvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate E from a proof-theoretical viewpoint. We propose a…
We analyze the structure of left maps in algebraic weak factorization systems constructed using Garner's algebraic small object argument. We find that any left map can be constructed from generators in Bourke and Garner's double category of…
We present an elementary method for proving enumeration formulas which are polynomials in certain parameters if others are fixed and factorize into distinct linear factors over Z. Roughly speaking the idea is to prove such formulas by…
Subexponential logic is a variant of linear logic with a family of exponential connectives--called subexponentials--that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening…
We provide a counterexample to the Sarason Conjecture for the Bergman space and present a characterisation of bounded Toeplitz products on the Bergman space in terms of test functions by means of a dyadic model approach. We also present…
A minimal Cantor system is said to be self-induced whenever it is conjugate to one of its induced systems. Substitution subshifts and some odometers are classical examples, and we show that these are the only examples in the equicontinuous…
The paper extends Birkhoff's theorem on doubly stochastic matrices to some countable families of discrete probability spaces with nonempty intersections. We join every two elements lying in the same probability space by an edge and…
We show that the strategy of point counting in o-minimal structures can be applied to various problems on unlikely intersections that go beyond the conjectures of Manin-Mumford and Andr\'e-Oort. We verify the so-called Zilber-Pink…
Minimal model conjecture for a proper variety $X$ is that if $\kappa(X)\geq 0$, then $X$ has a minimal model with the abundance and if $\kappa =-\infty$, then $X$ is birationally equivalent to a variety $Y$ which has a fibration $Y \to Z$…
In this paper a general theory of semi-classical matrix orthogonal polynomials is developed. We define the semi-classical linear functionals by means of a distributional equation $D(u A) = u B,$ where $A$ and $B$ are matrix polynomials.…
Let $f\colon \mathbb{T}\to \mathbb{R}$ be of class $C^{1+\delta}$ for some $\delta>0$ and let $c\in\mathbb{Z}$. We show that for a generic $\alpha\in\mathbb{R}$, the extension $T_{c,f}\colon \mathbb{T}^2\to\mathbb{T}^2$ of the irrational…
A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…
We show that there is a knot satisfying the property that for each minimal crossing number diagram of the knot and each single crossing of the diagram, changing the crossing results in a diagram for a knot whose unknotting number is at…
We study propositional logical systems arising from the language of Johansson's minimal logic and obtained by weakening the requirements for the negation operator. We present their semantics as a variant of neighbourhood semantics. We use…
The Abundance conjecture predicts that on a minimal projective klt pair $(X,\Delta)$, the adjoint divisor $K_X+\Delta$ is semiample. When $\chi(X,\mathcal O_X)\neq0$, we give a necessary and sufficient condition for the conjecture to hold…
M\"obius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying…
In this note it is shown that two key results on transcendental singularities for meromorphic functions of finite lower order have refinements which hold under the weaker hypothesis that the logarithmic derivative has finite lower order.
In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of…
We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…