Related papers: The Yellow Cake

For each $a \in \mathbb{R}$, we define a Borel function $f_a : \mathbb{R} \to \mathbb{R}$ which encodes $a$ in a certain sense. We show that for each Borel $g : \mathbb{R} \to \mathbb{R}$, $f_a \cap g = \emptyset$ implies $a \in…

We show that under mild set theoretic hypotheses we have rigidity for algebras of continuous functions over Higson coronas, topological spaces arising in coarse geometry. In particular, we show that under $\mathsf{OCA}$ and $\mathsf…

I study the leading root x_0(y) of the partial theta function \Theta_0(x,y) = \sum_{n=0}^\infty x^n y^{n(n-1)/2}, considered as a formal power series. I prove that all the coefficients of -x_0(y) are strictly positive. Indeed, I prove the…

In the paper, the authors establish an inequality involving exponential functions and sums, introduce a ratio of many gamma functions, discuss properties, including monotonicity, logarithmic convexity, (logarithmically) complete…

It is known that the systole function is topologically Morse on the moduli space $\mathcal M_{g,n}$ and the $\text{sys}_T$ functions are $C^2$-Morse on the Deligne-Mumford compactification $\overline{\mathcal M}_{g,n}$. In this paper, We…

We prove several rigidity results for corona $C^*$-algebras and \v{C}ech-Stone remainders under the assumption of Forcing Axioms. In particular, we prove that a strong version of Todor\v{c}evi\'c's $\OCA$ and Martin's Axiom at level…

In this paper the incomplete gamma function $\gamma(\alpha,x)$ and its derivative is considered for negative values of $\alpha $ and the incomplete gamma type function $\gamma_*(\alpha,x_-)$ is introduced. Further the polygamma functions…

The singularities of the $\Gamma$ function, a meromorphic function on the complex plane, are known to occur at the nonpositive integers. We show, using Euler and Gauss identities, that for all positive integers $n$ and $k$, $$…

The logarithmic convexity of restrictions of the Beta functions to rays parallel to the main diagonal and the functional equation \[ \phi\left( x+1\right) =\frac{x\left( x+k\right) }{\left( 2x+k+1\right) \left( 2x+k\right) }\phi\left(…

Let $G$ be a connected general graph. Let $f\colon V(G)\to \Z^+$ be a function. We show that $G$ satisfies the Tutte-type condition \[ o(G-S)\le f(S)\qquad\text{for all vertex subsets $S$}, \] if and only if it contains a colored…

We examine the properties of existentially closed (R^omega-embeddable) II_1 factors. In particular, we use the fact that every automorphism of an existentially closed (R^omega-embeddable) II_1 factor is approximately inner to prove that…

For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:X \rightarrow Y$ naturally induces a functor from the category of closed subsets of $X$ (with morphisms given by inclusions) to the category of closed subsets of…

We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands…

Let kappa be an uncountable regular cardinal. Call an equivalence relation on functions from kappa into 2 Sigma_1^1-definable over H(kappa) if there is a first order sentence F and a parameter R subseteq H(kappa) such that functions…

The main result of this paper states that for a function $f:\R^2\to Y$ with a closed, connected and locally connected graph, where $Y$ is a locally compact, second-countable metrisable space, the graph over discontinuity points remains…

The generalized Marcum functions $Q_{\mu}(x,y)$ and $P_{\mu}(x,y)$ have as particular cases the non-central $\chi^2$ and gamma cumulative distributions, which become central distributions (incomplete gamma function ratios) when the…

Let E_n={x_i=1, x_i+x_j=x_k, x_i*x_j=x_k: i,j,k \in {1,...,n}}. We prove: (1) there is an algorithm that for every computable function f:N-->N returns a positive integer m(f), for which a second algorithm accepts on the input f and any…

We prove the consistency result from the title. By forcing we construct a model of g=aleph_1, b=cf(Sym(omega))=aleph_2.

We say that a plane set $A$ is {\it graph-null,} if there is a function $g\colon [0,1] \to \mathbb{R}$ such that $\lambda_2 (A+{\rm graph}\, g)=0$. A plane set $A$ has the {\it translational Kakeya property} if, for every translated copy…

We prove a compactness result with respect to $\Gamma$-convergence for a class of integral functionals which are expressed as a sum of a local and a non-local term. The main feature is that, under our hypotheses, the local part of the…