Related papers: A note on orderability and Dehn filling
We give a simple proof that the first-order theory of well orders is axiomatized by transfinite induction, and that it is decidable.
In this paper we give sufficient conditions on a compact orbifold with an extremal Kaehler metric to admit a resolution with an extremal Kaehler metric. We also complete the Kaehler constant scalar curvature case.
We introduce a version of discrete Morse theory for posets. This theory studies the topology of the order complexes K(X) of h-regular posets X from the critical points of admissible matchings on X. Our approach is related to R. Forman's…
We introduce and study in detail the notion of compatibility between valuations and orderings in real hyperfields. We investigate their relation with valuations and orderings induced on factor and residue hyperfields. Much of the theory…
For a compact, orientable, irreducible 3-manifold with toroidal boundary that is not the product of a torus and an interval or a cable space, each boundary torus has a finite set of slopes such that, if avoided, the Thurston norm of a Dehn…
Model theoretic results such as Characterization and Definability give important information about different logics. It is well known that the proofs of those results for several modal logics have, somehow, the same 'taste'. A general proof…
The aim of this paper is to prove characterization theorems for higher order derivations. Among others we prove that the system defining higher order derivations is stable. Further characterization theorems in the spirit of N.~G.~de Bruijn…
This work investigates the well-posedness and optimal control of a sixth-order Cahn-Hilliard equation, a higher-order variant of the celebrated and well-established Cahn-Hilliard equation. The equation is endowed with a source term, where…
This short note first develops a general formalism for globally removing a factor from an obstruction theory. This formalism is then applied to give a construction of a reduced obstruction theory on the moduli of maps from a curve to a…
The aim of this paper is to describe some partial advances in the solution of the following two problems. Find the maximal order of vanishing at infinity of a non-zero Drinfeld quasi-modular form of given weight. Determine differential…
We introduce a framework for ordinal notation systems, present a family of strong yet simple systems, and give many examples of ordinals in these systems. While much of the material is conjectural, we include systems with conjectured…
We are interested in abstract conditions that characterize homomorphic images of affine quandles. Our main result is a two-fold characterization of this class: one by a property of the displacement group, the other one by a property of the…
Using a recently introduced algebraic framework for the classification of fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the…
The aim of this article is twofold: first, improve the multiplicity estimate obtained by the second author for Drinfeld quasi-modular forms; and then, study the structure of certain algebras of "almost-$A$-quasi-modular forms"
In this paper, we study how dense a multiplicative basis of order $h$ for $\mathbb{Z}^+\!$ can be, improving on earlier results. Upon introducing the notion of a \textit{multiplicative complement}, we present some tight density bounds.
It gives some new forms of General Neron Desingularization and new applications.
The aim of this short note is to give counterexamples to two results by D. Y. Gao [5, Th. 16], [4, Th. 2] and to improve a related result by S.-C. Fang, D. Y. Gao, R.-L. Sheu and S.-Y. Wu [1, Th. 3].
We establish new results of first-order necessary conditions of optimality for finite-dimensional problems with inequality constraints and for problems with equality and inequality constraints, in the form of John's theorem and in the form…
We establish new criteria for the $R$-badness of a space and apply it to the case of closed surfaces.
In this paper we presents further developments regarding the enrichment of the basic Theory of Order Completion. In particular, spaces of generalized functions are constructed that contain generalized solutions to all systems of continuous,…