Large Cardinals and Definable Counterexamples to the Continuum Hypothesis

@article{Foreman1995LargeCA,
  title={Large Cardinals and Definable Counterexamples to the Continuum Hypothesis},
  author={Matthew D. Foreman and Menachem Magidor},
  journal={Ann. Pure Appl. Log.},
  year={1995},
  volume={76},
  pages={47-97}
}

Approachable Free Subsets and Fine Structure Derived Scales

Shelah showed that the existence of free subsets over internally approachable subalgebras follows from the failure of the PCF conjecture on intervals of regular cardinals. We show that a stronger

Proper Forcing and L(r)

We present two ways in which the model L(R) is canonical assuming the existence of large cardinals. We show that the theory of this model, with ordinal parameters, cannot be changed by small forcing;

Proper forcing and L(ℝ)

Abstract We present two ways in which the model L(ℝ) is canonical assuming the existence of large cardinals. We show that the theory of this model, with ordinal parameters, cannot be changed by small

Proper forcings and absoluteness in L ( R )

We show that in the presence of large cardinals proper forcings do not change the theory of L(R) with real and ordinal parameters and do not code any set of ordinals into the reals unless that set

Terminal notions in set theory

  • J. Zapletal
  • Philosophy, Mathematics
    Ann. Pure Appl. Log.
  • 2001

PROPER FORCINGS AND ABSOLUTENESS IN L (

We show that in the presence of large cardinals proper forcings do not change the theory of L(R) with real and ordinal parameters and do not code any set of ordinals into the reals unless that set

CHANG’S CONJECTURE, GENERIC ELEMENTARY EMBEDDINGS AND INNER MODELS FOR HUGE CARDINALS

  • M. Foreman
  • Mathematics
    The Bulletin of Symbolic Logic
  • 2015
TLDR
It is proved that a natural principle Strong Chang Reflection implies the existence of an inner model with a huge cardinal and this principle is between a huge and a two huge cardinal in consistency strength.

An undecidable extension of Morley's theorem on the number of countable models

We show that Morley’s theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate

Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

We prove that the theory of the models constructible using finitely many cofinality quantifiers – C∗ λ1,...,λn and C∗ <λ1,...,<λn for λ1, . . . , λn regular cardinals – is set-forcing absolute under

Strongly proper forcing and some problems of Foreman

We answer several questions of Foreman, most of which are closely related to Mitchell’s notion of strongly proper forcing. We prove that presaturation of a normal ideal implies projective antichain
...

References

SHOWING 1-10 OF 45 REFERENCES

Reflecting stationary sets

  • M. Magidor
  • Mathematics
    Journal of Symbolic Logic
  • 1982
Abstract We prove that the statement “For every pair A, B, stationary subsets of ω2, composed of points of cofinality ω, there exists an ordinal α such that both A ∩ α and B ∩ α are stationary

Martin's Maximum, saturated ideals and non-regular ultrafilters. Part II

We prove, assuming the existence of a huge cardinal, the consistency of fully non-regular ultrafilters on the successor of any regular cardinal. We also construct ultrafilters with ultraproducts of

Eomogeneous trees and projective scales

This exposition is a sequel to Kechris [1978]. Its main purpose is to show how set theoretical techniques, among them infinite exponent partition relations can be used to produce homogeneous trees

A model of set-theory in which every set of reals is Lebesgue measurable*

We show that the existence of a non-Lebesgue measurable set cannot be proved in Zermelo-Frankel set theory (ZF) if use of the axiom of choice is disallowed. In fact, even adjoining an axiom DC to ZF,

Supercompact cardinals, sets of reals, and weakly homogeneous trees.

  • W. Woodin
  • Mathematics
    Proceedings of the National Academy of Sciences of the United States of America
  • 1988
It is shown that if there exists a supercompact cardinal then every set of reals, which is an element of L(R), is the projection of a weakly homogeneous tree. As a consequence of this theorem and

Saturated ideals

  • K. Kunen
  • Mathematics
    Journal of Symbolic Logic
  • 1978
In this paper, we give consistency proofs for the existence of a κ-saturated ideal on an inaccessible κ, and for the existence of an ω2-saturated ideal on ω1. We also include an historical survey