No abstract uploaded!

Woodin has demonstrated that, in the presence of large cardinals, there is a single model of ZFC which is maximal for Π_{2}-sentences over the structure ($H$($ω$_{2}), ∈, NS_{$ω$1}), in the sense that its ($H$($ω$_{2}), ∈, NS_{$ω$1}) satisfies every Π_{2}-sentence$σ$for which ($H$($ω$_{2}), ∈, NS_{$ω$1}) ⊨$σ$can be forced by set-forcing. In this paper we answer a question of Woodin by showing that there are two Π_{2}-sentences over the structure ($H$($ω$_{2}), ∈,$ω$_{1}) which can each be forced to hold along with the continuum hypothesis, but whose conjunction implies $$ {2^{{{\aleph_0}}}}={2^{{{\aleph_1}}}} $$ . In the process we establish that there are two preservation theorems for not introducing new real numbers by a countable support iterated forcing which cannot be subsumed into a single preservation theorem.

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.

In this paper, we prove that for any Kähler metrics ω and χ on M, there exists a Kähler metric ω_φ = ω_0 + √-1 ∂ \bar∂ φ > 0 satisfying the J-equation tr_{ω_φ} χ = c if and only if (M, [ω0], [χ]) is uniformly J-stable. As a corollary, we find a sufficient condition for the existence of constant scalar curvature Kähler metrics with c_1 < 0. Using the same method, we also prove a similar result for the supercritical deformed Hermitian–Yang–Mills equation.

No abstract uploaded!