Related papers: Giant and illusionary giant Goodstein principles
We consider Bergman spaces and variations of them in one or several complex variables. For some domains we show that in these spaces the generic function is totally unbounded and hence non - extendable. We also show that the generic…
The large $N$ expansion of giant graviton correlators is considered. Giant gravitons are described using operators with a bare dimension of order $N$. In this case the usual $1/N$ expansion is not applicable and there are contributions to…
In this article, we discuss some geometric infinitely divisible (gid) random variables using the Laplace exponents which are Bernstein functions and study their properties. The distributional properties and limiting behavior of the…
It is a well-known empirical phenomenon that natural axiomatic theories are pre-well-ordered by consistency strength. Without a precise mathematical definition of "natural," it is unclear how to study this phenomenon mathematically. We will…
Using the concepts of Hyperbolic Classification of Natural Numbers, Essential Regions and Goldbach Conjecture Function we prove that the existence of a proof of the Goldbach Conjecture in First-Order Arithmetic would imply the existence of…
We provide counterexamples showing that uniform laws of large numbers do not hold for subdifferentials under natural assumptions. Our constructions are univariate random Lipschitz functions and bivariate random convex functions with two…
Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\rm GM}^+(\omega_3,\omega_1)$ holds. This principle implies ${\rm ISP}(\omega_2)$ and ${\rm ISP}(\omega_3)$, and…
We establish strong invariance principles for sums of stationary and ergodic processes with nearly optimal bounds. Applications to linear and some nonlinear processes are discussed. Strong laws of large numbers and laws of the iterated…
The Ackermann function is a famous total recursive binary function on the natural numbers. It is the archetypal example of such a function that is not primitive recursive, in the sense of classical recursion theory. However, and in seeming…
The proof, but not the statement, of Proposition 18.2 contained an error which is repaired in this version. See Remark 18.3 in this version. No other changes. We extend Greenberg's original construction to arbitrary (in particular,…
Asymptotic expansions are derived for associated Legendre functions of degree $\nu$ and order $\mu$, where one or the other of the parameters is large. The expansions are uniformly valid for unbounded real and complex values of the argument…
Gotzmann's Persistence states that the growth of an arbitrary ideal can be controlled by comparing it to the growth of the lexicographic ideal. This is used, for instance, in finding equations which cut out the Hilbert scheme (of subschemes…
The Wendland functions are a class of compactly supported radial basis functions with a user-specified smoothness parameter. We prove that with a linear change of variables, both the original and the "missing" Wendland functions converge…
We show that the weakest versions of Foreman's minimal generic hugeness axioms cannot hold simultaneously on adjacent cardinals. Moreover, conventional forcing techniques cannot produce a model of one of these axioms.
In a previous paper, the authors with Ann Nelson proposed that the UV and IR applicability of effective quantum field theories should be constrained by requiring that strong gravitational effects are nowhere encountered in a theory's domain…
We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied…
Literature considers under the name \emph{unimaginable numbers} any positive integer going beyond any physical application, with this being more of a vague description of what we are talking about rather than an actual mathematical…
We study properties of $\mathcal{A}$-harmonic and $\mathcal{A}$-superharmonic functions involving an operator having generalized Orlicz-growth embracing besides Orlicz case also natural ranges of variable exponent and double-phase cases. In…
We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schutte ordinal Gamma_0. First we comprehensively criticize the arguments that have been offered in support of this position. Then we…
The iterated Johnson bound is the best known upper bound on a size of an error-correcting code in the Grassmannian $\mathcal{G}_q(n,k)$. The iterated Sch\"{o}nheim bound is the best known lower bound on the size of a covering code in…