Related papers: A proof of Shelah's recent partition theorem

The main result is that for lambda strong limit singular failing the continuum hypothesis (i.e. 2^lambda > lambda^+), a polarized partition theorem holds.

We consider some of the various formulations of the Revised GCH Theorem presented in Shelah's original paper \cite{SheRGCH}. We compare them and discuss their meaning.

We analyze a natural function definable from a scale at a singular cardinal, and using this function we are able to obtain quite strong negative square-brackets partition relations at successors of singular cardinals. The proof of our main…

In this paper we review Shelah's strong covering property and its applications. We also extend some of the results of Shelah and Woodin on the failure of $CH$ by adding a real.

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 give a new proof of a theorem of Shelah which states that for every family of labeled trees, if the cardinality $\kappa$ of the family is much larger (in the sense of large cardinals) than the cardinality $\lambda$ of the set of labels,…

We prove that the strong polarized relation of $\theta$ above $\omega$ applied simultaneously for every cardinal in the interval $[\aleph_1,\aleph]$ is consistent. We conclude that this positive relation is consistent for every cardinal…

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…

We give a proof of Theorem 2.10 from [8] that eliminates the use of Shelah's nice filters and associated rank functions, and instead uses only the well-foundedness of reduced products of ordinals modulo countably complete filters. This…

Shelah shows that certain revised countable support (RCS) iterations do not add reals. His motivation is to establish the independence (relative to large cardinals) of Avraham's problem on the existence of uncountable non-constuctible…

In a paper from 1980, Shelah constructed an uncountable group all of whose proper subgroups are countable. Assuming the continuum hypothesis, he constructed an uncountable group $G$ that moreover admits an integer $n$ satisfying that for…

Shelah-Woodin investigate the possibility of violating instances of $GCH$ through the addition of a single real. In particular they show that it is possible to obtain a failure of $CH$ by adding a single real to a model of $GCH$, preserving…

The best-known version of Shelah's celebrated singular cardinal compactness theorem states that if the cardinality of an abelian group is singular, and all its subgroups of lesser cardinality are free, then the group itself is free. The…

We provide a short proof of Shelah's eventual categoricity conjecture, assuming the Generalized Continuum Hypothesis ($GCH$), for abstract elementary classes (AEC's) with interpolation, a strengthening of amalgamation which is a necessary…

We revisit the application of Shelah's Revised GCH Theorem \cite{SheRGCH} to diamond. We also formulate a generalization of the theorem and prove a small fragment of it. Finally we consider another application of the theorem, to covering…

In a self-contained way, we deal with revised countable support iterated forcing for the reals. We improve theorems on preservation of the property UP, weaker than semi proper, and we hopefully improve the presentation. We continue [Sh:b,…

For the case of two spin-1/2 particles in the singlet state, we provide a GHZ-type proof of Bell's theorem by using the idea of postselected measurements. Furthermore, we show that in spite of the low efficiency of the detectors one can…

This paper characterises the structure of every maximal weak or strong Gallai-Schur partition. The results confirm the exact values of Gallai-Schur numbers provided by Budden (2020) in the strong case, and provide corresponding values for…

We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and…

A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of "for every suitable forcing…