Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-26T12:00:21.740Z Has data issue: false hasContentIssue false
  • English
  • Français

Homogeneously Suslin sets in tame mice

Published online by Cambridge University Press:  12 March 2014

Farmer Schlutzenberg
Farmer Schlutzenberg*
Affiliation:
Department of Mathematics, University of North Texas, Denton, TX 76201, USA, E-mail: farmer@unt.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

This paper studies homogeneously Suslin (hom) sets of reals in tame mice. The following results are established: In 0 the hom sets are precisely the sets. In Mn every hom set is correctly , and (δ + 1)-universally Baire where δ is the least Woodin. In Mω, every hom set is <λ-hom, where λ is the supremum of the Woodins.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 77 , Issue 4 , December 2012 , pp. 1122 - 1146
Copyright
Copyright © Association for Symbolic Logic 2012

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]Claverie, Benjamin and Schindler, Ralf, Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω1, this Journal, vol. 77 (2012), no. 2, pp. 475–498.Google Scholar
[2]Hauser, Kai, A minimal counterexample to universalbaireness, this Journal, vol. 64 (1999), no. 4, pp. 1601–1627.Google Scholar
[3]Jensen, Ronald, The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229–308.CrossRefGoogle Scholar
[4]Kanamori, Akihiro, The higher infinite, second ed., Springer monographs in mathematics, Springer-Verlag, 2005.Google Scholar
[5]Koepke, Peter and Schindler, Ralf, Homogeneously souslin sets in small inner models, Archive for Mathematical Logic, vol. 45 (2006), no. 1, pp. 53–61.CrossRefGoogle Scholar
[6]Larson, Paul, The stationary tower: notes on a course by W. Hugh Woodin, University lecture series, vol. 32, The American Mathematical Society, 2004.Google Scholar
[7]Martin, Donald and Steel, John R., Iteration trees, Journal of the American Mathematical Society, vol. 7 (1989), no. 1, pp. 1–73.CrossRefGoogle Scholar
[8]Martin, Donald and Steel, John R., A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), no. 1, pp. 71–125.CrossRefGoogle Scholar
[9]Mitchell, William and Steel, John R., Fine structure and iteration trees, Lectures Notes in Logic, no. 3, Springer-Verlag, 1994.CrossRefGoogle Scholar
[10]Moschovakis, Yiannis N., Descriptive set theory, North-Holland, 1980.Google Scholar
[11]Neeman, Itay, Determinacy in L(ℝ), Handbook of set theory (Foreman, Matthew and Kanamori, Akihiro, editors), vol. 3, Springer, 2010, pp. 1877–1950.CrossRefGoogle Scholar
[12]Schimmerling, Ernest and Steel, John R., Fine structure for tame inner models, this Journal, vol. 61 (1996), no. 2, pp. 621–639.Google Scholar
[13]Schindler, Ralf, Iterates of the core model, this Journal, vol. 71 (2006), no. 1, pp. 241–251.Google Scholar
[14]Schlutzenberg, Farmer, Measures in mice, Ph.D. thesis, University of California, Berkeley, 2007.Google Scholar
[15]Schlutzenberg, Farmer, Resurrection and iterability of fine extender models, unpublished notes, 2012.Google Scholar
[16]Steel, John R., Projectively well-ordered inner models, Annals of Pure and Applied Logic, vol. 74 (1995), no. 1, pp. 77–104.CrossRefGoogle Scholar
[17]Steel, John R., The core model iterability problem, Lecture Notes in Logic, no. 8, Springer-Verlag, 1996.CrossRefGoogle Scholar
[18]Steel, John R., A stationary-tower-free proof of the derived model theorem, available from author's website, 2005.Google Scholar
[19]Steel, John R., Derived models associated to mice, to appear; available from author's website, 2007.Google Scholar
[20]Steel, John R., The derived model theorem, available from author's website, 2008.Google Scholar
[21]Steel, John R., An outline of inner model theory, Handbook of set theory (Foreman, Matthew and Kanamori, Akihiro, editors), vol. 3, Springer, 2010, pp. 1595–1684.CrossRefGoogle Scholar