Canonical structure in the universe of set theory: part two

@article{Cummings2006CanonicalSI,
  title={Canonical structure in the universe of set theory: part two},
  author={James Cummings and Matthew D. Foreman and Menachem Magidor},
  journal={Ann. Pure Appl. Log.},
  year={2006},
  volume={142},
  pages={55-75}
}

Diagonal Prikry extensions

TLDR
In inner model theory there are many theorems of the general form “if there is no inner model of large cardinal hypothesis X then there is an L-like inner model Kx which Y covers V”, which always include GCH and Global Square.

Covering Matrices, Squares, Scales, and Stationary Reflection

In this thesis, we present a number of results in set theory, particularly in the areas of forcing, large cardinals, and combinatorial set theory. Chapter 2 concerns covering matrices, combinatorial

ON TODD EISWORTH ’ S CHAPTER FOR THE HANDBOOK OF SET THEORY : “ SUCCESSORS OF SINGULAR CARDINALS ”

This chapter offers a comprehensive and lucid exposition of the questions and techniques involved in the study of combinatorics of successors of singular cardinals. What is so special about

Tight stationarity and tree-like scales

KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS

We continue our study of strongly unbounded colorings, this time focusing on subadditive maps. In Part I of this series, we showed that, for many pairs of infinite cardinals θ < κ, the existence of a

Global square and mutual stationarity at the alephn

SINGULAR CARDINAL COMBINATORICS

From May 1 to May 6, 2004 24 set theorists met at the Banff International Research Station to discuss Singular Cardinal Combinatorics. Descriptions of the contents of their talks will be published in

Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering

  • D. Adolf
  • Computer Science, Mathematics
  • 2019
TLDR
This work greatly reduces the reliance on covering properties in the proof of consistency strength of mutually stationary sequences of sets concentrating on points with divergent cofinality, and shows that if $\kappa$ is a J\'onsson cardinal with $kappa < \aleph_\kappa then the sharp for a model with a strong cardinal exists.

References

SHOWING 1-10 OF 47 REFERENCES

Canonical structure in the universe of set theory: part one

Reflecting stationary sets and successors of singular cardinals

TLDR
It is shown that supercompactness (and even the failure of PT) implies the existence of non-reflecting stationary sets, and that under suitable assumptions it is consistent that REF and there is a κ which is κ+n-supercompact.

The non-compactness of square

TLDR
This note proves that in the resulting model every stationary subset of ℵω+1 ⋂ cof(ω) reflects to an ordinal of cofinality ω1, that is to say it has stationary intersection with such a ordinal.

Saturation properties of ideals in generic extensions. I

We consider saturation properties of ideals in models obtained by forcing with countable chain condition partial orderings. As sample results, we mention the following. If M[G] is obtained from a

A Very Weak Square Principle

TLDR
A very weak version of the principle □ discovered by Jensen who proved it holds in the constructible universe L , which is strong enough to include many of the known applications of □, but weak enough that it is consistent with the existence of very large cardinals.

When does almost free imply free? (For groups, transversals, etc.)

We show that the construction of an almost free nonfree Abelian group can be pushed from a regular cardinal /C to ~IC+I. Hence there are unboundedly many almost free nonfree Abelian groups below the

Squares, scales and stationary Reflection

TLDR
Interactions between these three theories in the context of singular cardinals are considered, focusing on the various implications between square and scales (a fundamental notion in PCF theory), and on consistency results between relatively strong forms of square and stationary set reflection.

The two-cardinals transfer property and resurrection of supercompactness

. We show that the transfer property ( @ 1 ; @ 0 ) ! ( (cid:21) + ;(cid:21) ) for singular (cid:21) does not imply (even) the existence of a non-reflecting stationary subset of (cid:21) + . The result

Descriptive Set Theory

Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and so can be expected to have special properties not enjoyed by arbitrary