For a real analytic periodic function 𝜙: ℝ→ℝ, an integer 𝑏≥2 and 𝜆∈(1/𝑏,1), we prove the following dichotomy for the Weierstrass-type function 𝑊(𝑥)=∑_{𝑛≥0} 𝜆^𝑛 𝜙(𝑏^𝑛 𝑥): Either W(x) is real analytic, or the Hausdorff dimension of its graph is equal to 2+log𝑏𝜆. Furthermore, given b and 𝜙, the former alternative only happens for finitely many 𝜆 unless 𝜙 is constant.

The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the continuum hypothesis. This answers a longstanding problem of Shelah.

The conjecture about the Orlicz Pólya–Szegö principle posed in [42] is proved. The cases of equality are characterized in the affine Orlicz Pólya–Szegö principle with respect to Steiner symmetrization and Schwarz spherical symmetrization.

In the general, this article addresses the nature of, and relation between, canonical and log-canonical singularities of foliations by curves. The case of equivariance under a finite group action has several peculiarities, amongst which are examples from dimension 3 onward where no birational modification can be both Gorenstein and log-canonical. The article in the specific, i.e. a functorial resolution algorithm for foliated 3-folds in the 2-category of Deligne-Mumford champs, is thus not only optimal but natural.

No abstract uploaded!