Related papers: Solovay's inaccessible over a weak set theory with…

An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose…

In this article we study the expanding properties of random perturbations of contracting Lorenz maps satisfying the summability condition of exponent 1. Under general conditions on the maps and perturbation types, we prove stochastic…

Let $\mathbf{M}$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, $\Delta_0$-separation and set foundation. This paper studies the relative strength of…

In this work we prove a sharp quantitative form of Liouville's theorem, which asserts that, for all $n\geq 3$, the weakly conformal maps of $\mathbb S^{n-1}$ with degree $\pm 1$ are M\"obius transformations. In the case $n=3$ this estimate…

In a series of papers, M.Talagrand, the second author and others investigated at length the properties and structure of pointwise compact sets of measurable functions. A number of problems, interesting in themselves and important for the…

We investigate the logical strength of the cohesiveness principle when restricted to finite sequences of sets, denoted by fin-COH, over different base theories. Our main result shows that fin-COH entails $I\Sigma_1^0$ over the weaker base…

Assuming the Riemann hypothesis, we prove the weak convergence of linear statistics of the zeros of L-functions towards a Gaussian field, with covariance structure corresponding to the $\HH^{1/2}$-norm of the test functions. For this…

Let $\mathcal{S} = \{ \tau_n \}_{n=1}^\infty \subset (0,T)$ be an arbitrary countable (dense) set. We show that for any given initial density and momentum, the compressible Euler system admits (infinitely many) admissible weak solutions…

In this paper we give a detailed measure theoretical analysis of what we call sum-level sets for regular continued fraction expansions. The first main result is to settle a recent conjecture of Fiala and Kleban, which asserts that the…

Stability of weighted composition strongly continuous semigroups acting on Lebesgue and Sobolev spaces is studied, without the use of spectral conditions on the generator of the semigroup. Applications to the generalized von Foerster -…

We prove that a Spector--like ultrapower extension $\gN$ of a countable Solovay model $\gM$ (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension $\gM[\al]$ where…

A Steinhaus set $S \subseteq \RR^d$ for a set $A \subseteq \RR^d$ is a set such that $S$ has exactly one point in common with $\tau A$, for every rigid motion $\tau$ of $\RR^d$. We show here that if $A$ is a finite set of at least two…

We describe a construction process of a relevant measure in any non-empty compact metric space. This probability measure has invariance properties with respect to isometric maps defined on open sets. These properties imply that this measure…

This paper presents some finite combinatorics of set systems with applications to model theory, particularly the study of dependent theories. There are two main results. First, we give a way of producing lower bounds on VC_ind-density, and…

It is shown to be consistent with set theory that the uniformity invariant for Lebesgue measure is strictly greater than the corresponding invariant for Hausdorff r-dimensional measure where 0<r<1.

Menger conjectured that subsets of R with the Menger property must be ${\sigma}$-compact. While this is false when there is no restriction on the subsets of R, for projective subsets it is known to follow from the Axiom of Projective…

In this paper, we introduce the notion of a $\gamma$-density point for Lebesgue-measurable subsets of $\mathbb{R}$, where $\gamma$ is a modulus function, and study its basic measure-theoretic properties. We show that every $\gamma$-density…

We prove that the perfect set dichotomy theorem holds in the Solovay model $V ((\omega^\omega)^{V[G]})$. Namely, for every equivalence relation $E$ on $\mathbb{R}$, either $\mathbb{R}/E$ is well-orderable or there exists a perfect set…

We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…

We show the existence of Lebesgue-equivalent conservative and ergodic $\sigma$-finite invariant measures for a wide class of one-dimensional random maps consisting of piecewise convex maps. We also estimate the size of invariant measures…