Related papers: Kurepa's conjecture on the left factorial function…
We provide a new description of the hom functor on weak $\omega$-categories, and we show that it admits a left adjoint that we call the suspension functor. We then show that the hom functor preserves the property of being free on a…
The main goal of this paper is to generalize the results that where presented in [11] for $\aleph_1$-Kurepa trees to $\aleph_{\alpha+1}$-Kurepa trees. We construct an $\mathcal{L}_{\omega_1,\omega}$-sentence $\psi_{\alpha}$, that codes…
If S is a smooth compact surface in $\mathbb{R}^{3}$ with strictly positive second fundamental form, and $E_S$ is the corresponding extension operator, then we prove that for all $p > 3$, $\left\|E_S f\right\|_{L^p\left(\mathbb{R}^3\right)}…
We give an affirmative answer to a question of Gorelic \cite{Gorelic}, by showing it is consistent, relative to the existence of large cardinals, that there is a proper class of cardinals $\alpha$ with $cf(\alpha)=\omega_1$ and…
After obtaining some useful identities, we prove an additional functional relation for $q$ exponentials with reversed order of multiplication, as well as the well known direct one in a completely rigorous manner.
We give a reformulation of the Lehmer conjecture about algebraic integers in terms of a simple counting problem modulo p.
New expansions of the number zeta(3) in continuous fractions are found.
It follows from de Bruijn's results that if a continuous or $k$-th order continuously differentiable function $F(x,y)$ is a solution of the Kurepa functional equation, then it can be expressed as $F(x,y)=f(x+y)-f(x)-f(y)$ with the…
We consider the conjecture of Brutman and Pasow on a totality divided differences and prove the conjecture for continuous functions.
We formulate the Hauptvermutung of Causal Set Theory in two mathematically well-defined but different ways one of which turns out to be wrong and the other one turns out to be true. A further result is that the Hauptvermutung is true if we…
We prove certain conjecture holds true for a finite category which has M\"obius inversion. The conjecture states a relationship between the zeta function of a finite category and the Euler characteristic of a finite category.
We answer a question of Slaman and Steel by showing that a version of Martin's conjecture holds for all regressive functions on the hyperarithmetic degrees. A key step in our proof, which may have applications to other cases of Martin's…
A strong form of the Manin-Peyre conjecture with a power saving error term is proved for a certain cubic fourfold.
We prove the dynamical Mordell-Lang conjecture for product of endomorphisms of an affine curve and a projective curve over $\overline{\mathbb{Q}}$.
Zaremba's conjecture (1971) states that every positive integer number $d$ can be represented as a denominator (continuant) of a finite continued fraction $\frac{b}{d}=[d_1,d_2,...,d_{k}],$ with all partial quotients $d_1,d_2,...,d_{k}$…
We verify Curtis conjecture on a class of elements of ${_2\pi_*^s}$ that satisfy a certain factorisation property. To be more precise, suppose $f\in{_2\pi_n^s}$ pulls back to $g\in{_2\pi_n^s}P$ through the Kahn-Priddy map $\lambda:QP\to…
We prove a function field analogue of a conjecture of Schinzel on the factorization of univariate polynomials over the rationals. We derive from it a finiteness theorem for the irreducible factorizations of the bivariate Laurent polynomials…
We prove that any group acting faithfully on a bifoliated plane while preserving the orientations of both foliations is left-orderable. The proof utilizes a construction of a linear order on the set of ends of the leaf spaces, which takes…
We prove the dynamical Mordell-Lang conjecture for birational polynomial morphisms on $\mathbb{A}^2$.
The Collatz conjecture implies that an iterated function sequence under a certain linear operator, beginning with a certain complex valued function, must converge to a certain complex function.