Related papers: Cousin's lemma in second-order arithmetic

Let $Z$ be a Boolean model based on a stationary Poisson process $\eta$ of compact, convex particles in Euclidean space ${\mathbb{R}}^d$. Let $W$ denote a compact, convex observation window. For a large class of functionals $\psi$, formulas…

A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear orders. Many important subsystems of Second-order Arithmetic…

A combinatorial principle CECA is formulated and its equivalence with GCH+ certain weakenings of Box_lambda for singular lambda is proved. CECA is used to show that certain ``almost point- < tau'' families can be refined to point- < tau…

One of the consequences of the Compactness Principle in structural Ramsey theory is that the small Ramsey degrees cannot exceed the corresponding big Ramsey degrees, thereby justifying the choice of adjectives. However, it is unclear what…

For many small-signal particle physics analyses, Wilks' theorem, a simplifying assumption that presumes log-likelihood asymptotic normality, does not hold. The most common alternative approach applied in particle physics is a highly…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…

A version of Gromov's cup product lemma in which one factor is the (1,0)-part of the differential of a continuous plurisubharmonic function is obtained. As an application, it is shown that a connected noncompact complete Kaehler manifold…

A two-dimensional Gauss-Kuzmin theorem for $N$-continued fraction expansions is shown. More exactly, we obtain a Gauss-Kuzmin theorem related to the natural extension of the measure-dynamical system corresponding to these expansions. Then,…

Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…

We study SU(2) gauge theory with two Dirac fermions in the adjoint representation of the gauge group on the lattice. Using clover improved Wilson fermion action with hypercubic truncated stout smearing we perform simulations at larger…

The classical inequality of Bohr asserts that if a power series converges in the unit disk and its sum has modulus less than or equal to $1$, then the sum of absolute values of its terms is less than or equal to $1$ for the subdisk…

We show a short proof of Higman's lemma using Friedman's adjacent Ramsey theorem for pairs. This provides an alternative proof of the known upper bound for the reverse mathematical status of Higman's lemma and that of its miniaturised…

The path integral description of the Wess-Zumino-Witten $\to$ Liouville reduction is formulated in a manner that exhibits the conformal invariance explicitly at each stage of the reduction process. The description requires a conformally…

For a Gaussian process $X$ and smooth function $f$, we consider a Stratonovich integral of $f(X)$, defined as the weak limit, if it exists, of a sequence of Riemann sums. We give covariance conditions on $X$ such that the sequence converges…

This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long…

By a classical result of Gauss and Kuzmin, the frequency with which a string $\mathbf{a}=(a_1,\dots,a_n)$ of positive integers appears in the continued fraction expansion of a random real number is given by $\mu_{GK}({I(\mathbf{a})})$,…

We present two integral representations of the logarithm of the Glaisher-Kinkelin constant. The calculations are based on definite integral expressions of $\log\Gamma(x)$, $\Gamma$ being the usual Gamma function, due respectively to F\'eaux…

We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees. Our theorem has a number of…

Simpson and the second author asked whether there exists a characterization of the natural numbers by a second-order sentence which is provably categorical in the theory RCA$^*_0$. We answer in the negative, showing that for any…