Related papers: Br\"uck Conjecture with hyper-order less than one

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.

Assuming a lower bound on the dimension, we prove a long standing conjecture concerning the classification of global solutions of the obstacle problem with unbounded coincidence sets.

We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…

In this paper, we will give suitable conditions on differential polynomials $Q(f)$ such that they take every finite non-zero value infinitely often, where $f$ is a meromorphic function in complex plane. These results are related to Problem…

In this note by using elementary considerations, we settle Fr\"oberg's conjecture for a large number of cases, when all generators of ideals have the same degree.

In the first part, after showing that the most natural approach to define an order on sets of conformal classes fails, we define a nontrivial order $\leq_2$ on the set of conformal classes of compact Cauchy slabs with fixed past boundary…

A 1971 conjecture of Graham (later repeated by Erd\H{o}s and Graham) asserts that every set $A \subseteq \mathbb{F}_p \setminus \{0\}$ has an ordering whose partial sums are all distinct. We prove this conjecture for sets of size $|A|…

In this study, we show that all non-trivial solutions of $f"+A(z)f'+B(z)f=0$ have infinite order, provided that the entire coefficient $A(z)$ has certain restrictions and $B(z)$ has multiply-connected Fatou component. We also extend these…

This paper contributes to the conjecture of R. Scott and R. Styer which asserts that for any fixed relatively prime positive integers $a,b$ and $c$ all greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive…

This paper addresses one of the fundamental open questions in the realm of existential rules: the conjecture on the finite controllability of bounded derivation depth rule sets (bdd $\Rightarrow$ fc). We take a step toward a positive…

In this paper, we prove the existence portion of the Bertram-Feinberg-Mukai Conjecture for an infinite family of new cases using degeneration technique. This not only leads to a substantial improvement of known results but also develops…

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…

In this paper, we obtain conditions under which the difference equation $-\Delta \left( a(k)\phi _{p}(\Delta u(k-1))\right) +b(k)\phi_{p}(u(k))=\lambda f(k,u(k)),\quad k\in \mathbb{Z}$, has infinitely many homoclinic solutions. A variant of…

We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…

We study the equation $a_1!!\cdots a_t!!=n!!$ and show that in certain special cases the explicit abc conjecture implies that it has only finitely many nontrivial solutions.

We prove that convex functions of finite order on the real line and subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some set of zero relative Lebesgue density, are bounded from above…

A family of sets F is said to be union-closed if A \cup B is in F for every A and B in F. Frankl's conjecture states that given any finite union-closed family of sets, not all empty, there exists an element contained in at least half of the…

First-order logic fragments mixing quantifiers, arithmetic, and uninterpreted predicates are often undecidable, as is, for instance, Presburger arithmetic extended with a single uninterpreted unary predicate. In the SMT world, difference…

In this paper, we will prove that all non-trivial solutions of $f''+A(z)f'+B(z)f=0$ are of infinite order, where we have some restrictions on entire functions $A(z)$ and $B(z)$.

The goal of this notice is to present a proof of Bachet's conjecture based exclusively on the fundamental theorem of arithmetic. The novelty of this proof consists in its introduction of a partial order on rational integers through the…