Related papers: Big in Reverse Mathematics: measure and category
In 1994, S.G. Matthews introduced the notion of partial metric space in order to obtain a suitable mathematical tool for program verification [Ann. New York Acad. Sci. 728 (1994), 183-197]. He gave an application of this new structure to…
This is a paper that aims to interpret the cardinality of a set in terms of Baire Category, i.e. how many closed nowhere dense sets can be deleted from a set before the set itself becomes negligible. . To do this natural tree-theoretic…
We investigate the shrinking target and recurrence set associated to non-autonomous measure-preserving systems on compact metric spaces, establishing zero-one criteria in the spirit of classical Borel-Cantelli results. Our first main…
In universal algebra, it is well known that varieties admitting a majority term admit several Mal'tsev-type characterizations. The main aim of this paper is to establish categorical counterparts of some of these characterizations for…
This paper develops an infinitesimal order of magnitude coupled with overflow technique that allows nonnumerical proofs of nondegenerate and degenerate inverse mapping theorems for mappings minimally regular at a point. This approach is…
The concentration of measure prenomenon roughly states that, if a set $A$ in a product $\Omega^N$ of probability spaces has measure at least one half, ``most'' of the points of $\Omega^N$ are ``close'' to $A$. We proceed to a systematic…
Let $S$ be the set of subsequences $(x_{n_k})$ of a given real sequence $(x_n)$ which preserve the set of statistical cluster points. It has been recently shown that $S$ is a set of full (Lebesgue) measure. Here, on the other hand, we prove…
A result of H. Steinhaus states that any positive Lebesgue measurable set has a property that its difference set contains an open interval around the origin. Y. V. Mospan proved that this result is the characterization of absolutely…
If (B_x: x in N) is a Borel family of sets, indexed by the Baire space N = omega^omega, all B_x have measure zero, and the family is increasing, then the union of all B_x also has measure zero. We give two proofs of this theorem: one in the…
The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire…
For each integer $n\ge 1$, denote by $T_{n}$ the map $x\mapsto nx\mod 1$ from the circle group $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ into itself. Let $p,q\ge 2$ be two multiplicatively independent integers. Using Baire Category arguments, we…
This article extends the framework of Bayesian inverse problems in infinite-dimensional parameter spaces, as advocated by Stuart (Acta Numer. 19:451--559, 2010) and others, to the case of a heavy-tailed prior measure in the family of stable…
We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense…
Weak values are usually associated with weak measurements of an observable on a pre- and post-selected ensemble. We show that more generally, weak values are proportional to the correlation between two pointers in a successive measurement.…
Assume the Riemann hypothesis throughout. We obtain some new estimates for the size of the set of large values of the error term in the prime number theorem. Our argument is based on an analysis of the behavior of zeros of the Riemann zeta…
On the assumption of the Riemann hypothesis, we show that over a class of sufficiently smooth test functions, a measure conjectured by Bogomolny and Keating coincides to a very small error with the actual pair correlation measure for zeroes…
Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "essential" (or "inherent") semantic incompleteness of the…
In this paper we prove an upper bound on the "size" of the set of multiplicatively $\psi$-approximable points in $\mathbb R^d$ for $d>1$ in terms of $f$-dimensional Hausdorff measure. This upper bound exactly complements the known lower…
We numerically study the statistical properties of differences of zeros of Riemann zeta function and L-functions predicted by the theory of the e\~ne product. In particular, this provides a simple algorithm that computes any non-real…
We investigate the extension of Monadic Second Order logic, interpreted over infinite words and trees, with generalized "for almost all" quantifiers interpreted using the notions of Baire category and Lebesgue measure.