Related papers: The Erdos-Rado arrow for singular cardinals

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 the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e., the cofinality of ^{lambda}lambda, is strictly bigger than cov_lambda(meagre), i.e. the minimal number of nowhere dense subsets of…

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 prove that for an endomorphism $f$ of an abelian manifold defined over an algebraically closed field of arbitrary characteristic, $ \chi_ {2q} (f) = \lambda_q (f) $. Note that this paper is based on recent results due to Fei Hu…

Let $\mathbb{B}$ be a complete Boolean algebra. We show, as an application of a previous result of the author, that if $\lambda$ is an infinite cardinal and $\mathbb{B}$ is weakly $(\lambda^\omega, \omega)$-distributive, then $\mathbb{B}$…

Let X be a variety over an algebraically closed field, \eta:\Omega^1_X\to L a one-dimensional singular foliation, and C\subseteq X a projective leaf of \eta. We prove that 2p_a(C)-2=\deg(L|C)+\lambda(C)-\deg(C\cap S) where p_a(C) is the…

Let B(kappa, lambda) be the subalgebra of P(kappa) generated by [kappa]^{<= lambda}. It is shown that if B is any homomorphic image of B(kappa, lambda) then either |B|< 2^lambda or |B|=|B|^lambda, moreover if X is the Stone space of B then…

The main result is Theorem: Let A be an R-algebra, mu, lambda be cardinals such that |A|<=mu=mu^{aleph_0}<lambda<=2^mu. If A is aleph_0-cotorsion-free or A is countably free, respectively, then there exists an aleph_0-cotorsion-free or a…

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 give an affirmative answer to a question of Gorelic \cite{Gorelic}, by showing it is consistent, relative to the existence of large cardinals, that there is a proper class of cardinals $\alpha$ with $cf(\alpha)=\omega_1$ and…

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and…

We prove the consistency of the statement $\mathfrak{u}_{\aleph_\omega}<2^{\aleph_\omega}$. We show that the consistency strength of this statement is exactly a measurable cardinal $\mu$ so that $o(\mu)=\mu^{++}$.

This is a conitunation of [1] and [2]. We prove that if function $f$ belongs to the class $\Lambda_{\omega} \overset{\text{def}}{=} \{f: \omega_{f}(\delta)\leq \text{const} \omega(\delta)\} $ for an arbitrary modulus of continuity $\omega$,…

Our main theorem is about iterated forcing for making the continuum larger than aleph_2. We present a generalization of math.LO/0303294 which is dealing with oracles for random, etc., replacing aleph_1, aleph_2 by lambda,lambda^+ (starting…

Suppose that kappa is a singular cardinal of cofinality omega and GCH holds. Assume that for every n<omega the set of alphas with o(alpha)>= alpha^{+n} is unbounded in kappa.Then there is a cardinal preserving extension satisfying…

Suppose that lambda = mu^+. We consider two aspects of the square property on subsets of lambda. First, we have results which show e.g. that for aleph_0 <= kappa =cf (kappa)< mu, the equality cf([mu]^{<= kappa}, subseteq)= mu is a…

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…

Assume $\lambda$ is a singular limit of $\eta$ supercompact cardinals, where $\eta \leq \lambda$ is a limit ordinal. We present two forcing methods for making $\lambda^+$ the successor of the limit of the first $\eta$ measurable cardinals…

Starting from a supercompact cardinal we build a model in which $2^{\aleph_{\omega_1}}=2^{\aleph_{\omega_1+1}}=\aleph_{\omega_1+3}$ but there is a jointly universal family of size $\aleph_{\omega_1+2}$ of graphs on $\aleph_{\omega_1+1}$.…

We continue the work of [KlSh:362] and prove that for lambda successor, a lambda-categorical theory T in L_{kappa^*, omega} is mu-categorical for every mu, mu <= lambda which is above the (2^{LS(T)})^+-beth cardinal.