Related papers: Usuba's principle $UB_\lambda$ can fail at singula…

We prove that if cf(lambda) > aleph_0 and 2^{cf(lambda)}<lambda, then lambda->(lambda,omega+1)^2.

We consider the two-cardinal Kurepa Hypothesis $\mathsf{KH}(\kappa,\lambda)$. We observe that if $\kappa\leq\lambda<\mu$ are infinite cardinals then…

We prove the consistency of a singular cardinal $\lambda$ with small value of the ultrafilter number $u_\lambda$, and arbitrarily large value of $2^\lambda$.

Let kappa be a regular uncountable cardinal and lambda >=kappa^+ . The principle of stationary reflection for P_kappa lambda has been successful in settling problems of infinite combinatorics in the case kappa=omega_1. For a greater kappa…

We investigate whether the ultrafilter number function $\kappa \mapsto \mathfrak{u}(\kappa)$ on the cardinals is monotone, that is, whether $\mathfrak{u}(\lambda) \le \mathfrak{u}(\kappa)$ holds for all cardinals $\lambda < \kappa$ or not.…

We investigate the possibilities of global versions of Chang's Conjecture that involve singular cardinals. We show some $\mathrm{ZFC}$ limitations on such principles, and prove relative to large cardinals that Chang's Conjecture can…

We prove that for regular $\lambda$ above a strong limit singular $\mu$ certain guessing principles follow just from cardinal arithmetic assumptions. The main result is that for such $\lambda$ and $\mu$ there are coboundedly many regular…

We prove the consistency of $\mathfrak{r}_\lambda<\mathfrak{d}_\lambda$ and even $\mathfrak{u}_\lambda<\mathfrak{d}_\lambda$ for a singular cardinal $\lambda$.

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…

We extend a transitive model V of ZFC + GCH cardinal preservingly to a model N of ZF + "GCH holds below Alef_omega" + "there is a surjection from the power set of Alef_omega onto lambda" where lambda is an arbitrarily high fixed cardinal in…

We study the effects of piece selection principles on cardinal arithmetic (Shelah style). As an application, we discuss questions of Abe and Usuba. In particular, we show that if $\lambda \geq 2^\kappa$, then (a) $I_{\kappa, \lambda}$ is…

We prove that $\alpha_M(\lambda)$ can be successor of a supercompact cardinal, when $\lambda$ is a Magidor cardinal. From this result we obtain the consistency of $\alpha_M(\lambda)$ being a successor of a singular cardinal with uncountable…

We prove that, consistently, there exists a weakly but not strongly inaccessible cardinal $\lambda$ for which the sequence $\langle 2^\theta:\theta<\lambda\rangle$ is not eventually constant and the weak diamond fails at $\lambda$. We also…

We prove a revised version of Laver's indestructibility theorem which slightly improves over the classical result. An application yields the consistency of $(\kappa^+,\kappa)\notcc(\aleph\_1,\aleph\_0)$ when $\kappa$ is supercompact. The…

We give two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular and at least equal to aleph_3, while the second is a negative consistency result which applies to…

We use Shelah's theory of possible cofinalities in order to solve a problem about ultrafilters. THEOREM. Suppose that $ \lambda $ is a singular cardinal, $ \lambda ' < \lambda $, and the ultrafilter $D$ is $ \kappa $-decomposable for all…

Assuming $\kappa$ is a supercompact cardinal and $\lambda$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $\kappa=\aleph_\omega$ and $\lambda=\aleph_{\omega+1}.$

We present two different types of models where, for certain singular cardinals lambda of uncountable cofinality, lambda -> (lambda, omega+1)^2, although lambda is not a strong limit cardinal. We announce, here, and will present in a…

Let $M$ denote the Merimovich's model in which for each infinite cardinal $\lambda, 2^\lambda=\lambda^{+3}$. We show that in $M$ the following hold: (1) Shelah's strong hypothesis fails at all singular cardinals, indeed, $\forall \lambda…

We prove the consistency of the failure of the weak diamond $\Phi_\lambda$ at strongly inaccessible cardinals. On the other hand, we show that the very weak diamond $\Psi_\lambda$ is equivalent to the statement $2^{<\lambda}<2^\lambda$ and…