Related papers: Base point free theorems--saturation, b-divisors, …
We present several methods to construct or identify families of free divisors such as those annihilated by many Euler vector fields, including binomial free divisors, or divisors with triangular discriminant matrix. We show how to create…
In this work we study the moduli part in the canonical bundle formula of an lc-trivial fibration whose generic fibre is a rational curve. In particular we find a bound for the denominators of the discriminant and the moduli divisor.
We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…
We explore how different proof orderings induce different notions of saturation. We relate completion, paramodulation, saturation, redundancy elimination, and rewrite system reduction to proof orderings.
Let $\cM_r$ denote the moduli space of semi-stable rank-$r$ vector bundles with trivial determinant over a smooth projective curve $C$ of genus $g$. In this paper we study the base locus $\cB_r \subset \cM_r$ of the linear system of the…
In this paper, the authors mainly discuss the images of spaces with an uniform base at non-isolated points, and obtain the following main results: (1)\ Perfect maps preserve spaces with an uniform base at non-isolated points; (2)\ Open and…
We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we…
In this paper, we generalize the notion of border bases of zero-dimensional polynomial ideals to the module setting. To this end, we introduce order modules as a generalization of order ideals and module border bases of submodules with…
A canonical band theory of non-collinear magnetism is developed and applied to the close packed fcc and bcc crystal structures. Several examples of non-collinear magnetism in the periodic table are seen to be canonical in origin. This is a…
We prove a generalization of the Jordan canonical form theorem for a class of bounded linear operators on complex separable Hilbert spaces.
Torsion theories are a pinnacle in the theory of abelian categories. They are a generalization of torsion abelian groups and in this generalization one of the most studied is that whose torsionfree class consists of nonsingular modules. To…
Kakutani's fixed point theorem is a generalization of Brouwer's fixed point theorem to upper semicontinuous multivalued maps and is used extensively in game theory and other areas of economics. Earlier works have shown that Sperner's lemma…
We contribute XTT, a cubical reconstruction of Observational Type Theory which extends Martin-L\"of's intensional type theory with a dependent equality type that enjoys function extensionality and a judgmental version of the unicity of…
One deals with arbitrary reduced free divisors in a polynomial ring over a field of characteristic zero, by stressing the ideal theoretic and homological behavior of the corresponding singular locus. A particular emphasis is given to both…
In this paper, we develop a general study of contributions at infinity of Bochner-Weitzenb\"ock-type formulas on asymptotically flat manifolds, inspired by Witten's proof of the positive mass theorem. As an application, we show that similar…
The constructive approach to mathematics has the advantage that witnesses can be extracted from statements of existence and theorems can be unwound to give algorithms. Even better, constructive theorems can be interpreted in any topos,…
We introduce a new technique for proving the classical Stable Manifold theorem for hyperbolic fixed points. This method is much more geometrical than the standard approaches which rely on abstract fixed point theorems. It is based on the…
We present the first complete axiomatisation for quantifier-free separation logic. The logic is equipped with the standard concrete heaplet semantics and the proof system has no external feature such as nominals/labels. It is not possible…
This paper deals with belief base revision that is a form of belief change consisting of the incorporation of new facts into an agent's beliefs represented by a finite set of propositional formulas. In the aim to guarantee more reliability…
A B-group is a group such that all its minimal generating sets (with respect to inclusion) have the same size. We prove that the class of finite B-groups is closed under taking quotients and that every finite B-group is solvable. Via a…