Related papers: On Namba Forcing and Minimal Collapses

We continue the investigations in the author's book on cardinal arithmetic, assuming some knowledge of it. We deal with the cofinality of (S_{<= aleph_0}(kappa), subseteq) for kappa real valued measurable (Section 3), densities of box…

We study linearly ordered spaces which are Valdivia compact in their order topology. We find an internal characterization of these spaces and we present a counter-example disproving a conjecture posed earlier by the first author. The…

We show that Shelah cardinals are preserved under the canonical $GCH$ forcing notion. We also show that if $GCH$ holds and $F:REG\rightarrow CARD$ is an Easton function which satisfies some weak properties, then there exists a cofinality…

Consider the property $(\aleph_{\omega + 1},\aleph_{\omega + 2},\ldots) \twoheadrightarrow (\aleph_1,\aleph_2,\ldots)$. Here we will show that this property with the addition of the General Continuum Hypothesis implies projective…

The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (\omega)$ are known to satisfy that $\omega_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also…

We survey several results concerning norming Markushevich bases (M-bases, for short), focusing in particular on two recent examples of a weakly compactly generated Banach space with no norming M-basis and of an Asplund space with norming…

Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Levy-Collapse. These show in particular that certain applications of forcing axioms require to add…

We review and provide simplified proofs related to the Magnus expansion, and improve convergence estimates. Observations and improvements concerning the Baker--Campbell--Hausdorff expansion are also made. In this Part II, we consider the…

We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering…

It is consistent that the continuum be arbitrary large and no absolute $\kappa$-Borel set $X$ of density $\kappa$, $\aleph_1<\kappa<\mathfrak{c}$, condenses onto a compact metric space. It is consistent that the continuum be arbitrary large…

We prove it consistent relative to ZFC that all nontrivial forcings of size $\aleph _1$ add a Cohen real.

We remove the assumption of the continuum hypothesis from the Akemann-Doner construction of a non-separable $C^*$-algebra $A$ with only separable commutative $C^*$-subalgebras. We also extend a result of Farah and Wofsey's, constructing…

Assume $AD+V=L(\mathbb{R})$. Let $\kappa=\utilde{\delta}^2_1$, the supremum of all $\utilde{\Delta}^2_1$ prewellorderings. We prove that extenders on the sequence of $\H$ that have critical point $\kappa$ are generated by countably complete…

This paper contains portions of Baldwin's talk at the Set Theory and Model Theory Conference (Institute for Research in Fundamental Sciences, Tehran, October 2015) and a detailed proof that in a suitable extension of ZFC, there is a…

Addressing a question of Paul Larson we prove the following statement. If Chang's conjecture fails, Martin's axiom holds and the continuum is greater than $\aleph_2$, there are no weakly Laver ideals over $\aleph_1$. We also prove that…

We discuss the generalized Kurepa hypothesis $KH_{\lambda}$ at singular cardinals $\lambda$. In particular, we answer questions of Erd\"{o}s-Hajnal [1] and Todorcevic [6], [7] by showing that $GCH$ does not imply $KH_{\aleph_\omega}$ nor…

Let GCH hold and let $j:V\longrightarrow M$ be a definable elementary embedding such that $crit(j)=\kappa$, $^{\kappa}M\subseteq M$ and $\kappa^{++}=\kappa_{M}^{++}$. H. Woodin proved that there is a cofinality preserving generic extension…

The main goal of this paper is to generalize the results that where presented in [11] for $\aleph_1$-Kurepa trees to $\aleph_{\alpha+1}$-Kurepa trees. We construct an $\mathcal{L}_{\omega_1,\omega}$-sentence $\psi_{\alpha}$, that codes…

For an interval $E=[a,b]$ on the real line, let $\mu$ be either the equilibrium measure, or the normalized Lebesgue measure of $E$, and let $V^{\mu}$ denote the associated logarithmic potential. In the present paper, we construct a function…

We prove that, any problem of minimization of proper lower semicontinuous function defined on a normal Hausdorff space, is canonically equivalent to a problem of minimization of a proper weak * lower semicontinuous convex function defined…