Non-tame mouse from the failure of square at a singular strong limit cardinal ∗ †

@inproceedings{Sargsyan2014NontameMF,
  title={Non-tame mouse from the failure of square at a singular strong limit cardinal ∗ †},
  author={Grigor Sargsyan},
  year={2014}
}
Building on the work of Schimmerling ([8]) and Steel ([14]), we show that the failure of square principle at a singular strong limit cardinal implies that there is a non-tame mouse. The proof presented is the first inductive step beyond L(R) of the core model induction that is aimed at getting a model of ADR + “Θ is regular” from the failure of square at a singular strong limit cardinal or PFA. One of the holly grails of inner model program has been to determine the exact consistency strength… CONTINUE READING

From This Paper

Topics from this paper.
3 Citations
10 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 10 references

An outline of inner model theory

  • John R. Steel
  • In Handbook of set theory. Vols
  • 2010
Highly Influential
5 Excerpts

Toward AD(R) from the continuum hypothesis and an ω1dense ideal

  • Richard O’Neal Ketchersid
  • ProQuest LLC, Ann Arbor, MI,
  • 2000
Highly Influential
3 Excerpts

Coherent sequences and threads

  • Ernest Schimmerling
  • Adv. Math.,
  • 2007
1 Excerpt

The axiom of determinacy, forcing axioms, and the nonstationary ideal, volume 1 of de Gruyter Series in Logic and its Applications

  • W. Hugh Woodin
  • Walter de Gruyter & Co., Berlin,
  • 1999
1 Excerpt

Similar Papers

Loading similar papers…