Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-16T22:28:29.455Z Has data issue: false hasContentIssue false
  • English
  • Français

The Mitchell order below rank-to-rank

Published online by Cambridge University Press:  12 March 2014

Itay Neeman
Itay Neeman*
Affiliation:
Department of Mathematics, University of Californiaat Los Angeles, Los Angeles, CA 90095-1555, USA, E-mail: ineeman@math.ucla.edu
Get access Rights & Permissions [Opens in a new window]

Abstract.

We show that Mitchell order on downward closed extenders below rank-to-rank type is wellfounded.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 69 , Issue 4 , December 2004 , pp. 1143 - 1162
Copyright
Copyright © Association for Symbolic Logic 2004

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Kanamori, Akihiro, The higher infinite, 2nd ed., Perspectives in Mathematical Logic, Springer, 1997.CrossRefGoogle Scholar
[2]Martin, Donald A. and Steel, John, Iteration trees, Journal of the Americal Mathematical Society, vol. 7 (1994), pp. 1–73.Google Scholar
[3]Mitchell, William, Sets constructible from sequences of ultrafilters, this Journal, vol. 39 (1974), pp. 57–66.Google Scholar
[4]Steel, John, The well-foundedness of the Mitchell order, this Journal, vol. 58 (1993), pp. 931–940.Google Scholar
[5]Zeman, Martin, Inner models and large cardinals, Logic and Its Applications, no. 5, de Gruyter, 2001.Google Scholar