Related papers: L'H\^{o}pital's Rule is Equivalent to the Least Up…

The study of Property (B) starts as a special case of Lehmer's conjecture. An algebraic field is said to satisfy Property (B) if there exists a positive constant bounding by below the height of every point of infinite order. In this paper…

In this paper we continue the investigation of a real number object, i.e., an object representing the real numbers, in categories of relations. Our axiomatization is based on a relation algebraic version of Tarski's axioms of the real…

The Hopf Lemma for second order elliptic operators is proved to hold in domains with $C^{1,\alpha}$, and even less regular, boundaries. It need not hold for $C^1$ boundaries. Corresponding results are proved for second order parabolic…

We show that H\"older continuity of the gradient is not only a sufficient condition, but also a necessary condition for the existence of a global upper bound on the error of the first-order Taylor approximation. We also relate this global…

When an eigenvector of a semi-bounded operator is positive, we show that a remarkably simple argument allows to obtain upper and lower bounds for its associated eigenvalue. This theorem is a substantial generalization of Barta-like…

We investigate the invariance principle in H{\"o}lder spaces for strictly stationary martingale difference sequences. In particular, we show that the sufficient condition on the tail in the i.i.d. case does not extend to stationary ergodic…

We provide the classical Boundary Harnack principle in Lipschitz domains for solutions to two different linear uniformly elliptic equations with the same principal part.

We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real…

Motivated by the decidability question for the theory of real exponentiation and by the Transfer Conjecture for o-minimal exponential fields, we show that, under the assumption of Schanuel's Conjecture, the prime model of real…

We prove that r independent homogeneous polynomials of the same degree d become dependent when restricted to any hyperplane if and only if their inverse system parameterizes a variety whose (d-1)-osculating spaces have dimension smaller…

Let $T$ be an o-minimal theory extending the theory of real closed ordered fields. An $H_T$-field is a model $K$ of $T$ equipped with a $T$-derivation such that the underlying ordered differential field of $K$ is an $H$-field. We study…

It is shown that when in a higher order variational principle one fixes fields at the boundary leaving the field derivatives unconstrained, then the variational principle (in particular the solution space) is not invariant with respect to…

This paper gives a framework to produce the lower bound of eigenvalues defined in a Hilbert space by the eigenvalues defined in another Hilbert space. The method is based on using the max-min principle for the eigenvalue problems.

We settle an old question about the existence of certain "sums-of-squares" formulas over a field F (which are the simplest examples of composition formulas for quadratic forms). A classical theorem says that if such a formula exists over a…

It is well known that on arbitrary metric measure spaces, the notion of minimal $p$-weak upper gradient may depend on $p$. In this paper we investigate how a first-order condition of the metric-measure structure, that we call Bounded…

We establish a splitting theorem for one-ended groups H<G such that \tilde{e}(G;H)> 2 and the almost malnormal closure of H is a proper subgroup of G. This yields splitting theorems for groups G with non-trivial first l^2 Betti number…

We prove a lower bound on the canonical height associated to polynomials over number fields evaluated at points with infinite forward orbit. The lower bound depends only on the degree of the polynomial, the degree of the number field, and…

In this paper we will study an important but rather technical result which is called The Reduction Property. The result tells us how much arithmetical conservation there is between two arithmetical theories. Both theories essentially speak…

We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.

This article discusses completeness of Boolean Algebra as First Order Theory in Goedel's meaning. If Theory is complete then any possible transformation is equivalent to some transformation using axioms, predicates etc. defined for this…