Related papers: Giant and illusionary giant Goodstein principles

We show the invalidity of finitary counterparts for three classification theorems: The preservation of being a Bernoulli shift through factors, Sinai's factor theorem, and the weak Pinsker property. We construct a finitary factor of an…

We introduce two new types of Dehn functions of group presentations which seem more suitable (than the standard Dehn function) for infinite group presentations and prove the fundamental equivalence between the solvability of the word…

Let (X,d) be a metric space and (\Omega, d) a compact subspace of X which supports a non-atomic finite measure m. We consider `natural' classes of badly approximable subsets of \Omega. Loosely speaking, these consist of points in \Omega…

For a function space $X(\OO)$ satisfying weak assumptions we prove that the generic function in $X(\OO)$ is totally unbounded, hence non-extendable. We provide several examples of such spaces; they are mainly localized versions of classical…

Let $[a_1(x),a_2(x), a_3(x),\cdots]$ denote the continued fraction expansion of a real number $x \in [0,1)$. This paper is concerned with certain exceptional sets of the Borel-Bernstein Theorem on the growth rate of $\{a_n(x)\}_{n\geq1}$.…

A refined version of the strong maximum principle is proven for a class of second order ordinary differential equations with possibly discontinuous non-monotone nonlinearities. Then, exploiting this tool, some optimal regularity results…

We present two ways in which the model $L({\mathbb R})$ is canonical assuming the existence of large cardinals. We show that the theory of this model, with {\em ordinal} parameters, cannot be changed by small forcing; we show further that a…

We investigate fragments of generic absoluteness principles known as Maximality Principles. We determine the consistency strength of $\Sigma_n$-$\mathsf{MP}(\mathbb R)$ and $\Pi_n$-$\mathsf{MP}(\mathbb R)$, the boldface Maximality Principle…

Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the consistency of logical systems, and justify some of the core…

The hypergraph regularity lemma -- the extension of Szemer\'edi's graph regularity lemma to the setting of $k$-uniform hypergraphs -- is one of the most celebrated combinatorial results obtained in the past decade. By now there are several…

Let $(\lambda_k)$ be a strictly increasing sequence of positive numbers such that $\sum_{k=1}^{\infty} \frac{1}{\lambda_k} < \infty.$ Let $f $ be a bounded smooth function and denote by $u= u^f$ the bounded classical solution to $u(x) -…

We introduce the Aurellion Function, a novel recursively defined fast-growing hierarchy based on Knuth's up-arrow notation, defined by $A_1 = 10 \uparrow\uparrow\uparrow 10$, $A_{n+1} = 10 \uparrow^{A_n} 10$, where the number of arrows in…

This is an expository paper on the meromorphic continuation of zeta functions with Euler products (for example zeta functions of groups and height zeta functions) or without (for example the Goldbach zeta function). As an application we…

Given a two-sided noetherian ring $A$ with a dualizing complex, we show that the big finitistic dimension of $A$ is finite if and only if every bounded below Gorenstein-projective-acyclic cochain complex of Gorenstein-projective $A$-modules…

In a recent paper \cite{Temme:2021:AKH} new asymptotic expansions are given for the Kummer functions $M(a,b,z)$ and $U(a,b+1,z)$ for large positive values of $a$ and $b$, with $z$ fixed and special attention for the case $a\sim b$. In this…

We study the large deviation function for the empirical measure of diffusing particles at one fixed position. We find that the large deviation function exhibits anomalous system size dependence in systems that satisfy the following…

A new formalism is presented for high-energy analysis of the Green function for Fokker-Planck and Schr\"odinger equations in one dimension. Formulas for the asymptotic expansion in powers of the inverse wave number are derived, and…

Let phi denote Euler's phi function. For a fixed odd prime we give an asymptotic series expansion in the sense of Poincare for the number E_q(x) of n<=x such that q does not divide phi(n). Thereby we improve on a recent theorem of B.K.…

Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle…

We introduce the notions of sub Gaussian random variables in sub-linear expectation spaces. To avoid the problem caused by the existence of two different expectations, i.e., the upper expectation and the lower expectation, we divide the…