Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



A measurable cardinal with a closed unbounded set of inaccessibles from $o(\kappa)=\kappa$

Author: William Mitchell
Journal: Trans. Amer. Math. Soc. 353 (2001), 4863-4897
MSC (2000): Primary 03E35, 03E45, 03E55
Published electronically: July 17, 2001
MathSciNet review: 1852085
Full-text PDF

Abstract | References | Similar Articles | Additional Information


We prove that $o(\kappa)=\kappa$ is sufficient to construct a model $V[C]$in which $\kappa$ is measurable and $C$ is a closed and unbounded subset of $\kappa$ containing only inaccessible cardinals of $V$. Gitik proved that $o(\kappa)=\kappa$ is necessary.

We also calculate the consistency strength of the existence of such a set $C$ together with the assumption that $\kappa$ is Mahlo, weakly compact, or Ramsey. In addition we consider the possibility of having the set $C$ generate the closed unbounded ultrafilter of $V$ while $\kappa$ remains measurable, and show that Radin forcing, which requires a weak repeat point, cannot be improved on.

References [Enhancements On Off] (What's this?)

  • 1. J. E. Baumgartner, L. A. Harrington, and E. M. Kleinberg, Adding a closed unbounded set, J. Symbolic Logic 41 (1976), no. 2, 481-482. MR 55:7782
  • 2. Moti Gitik, On closed unbounded sets consisting of former regulars, J. Symbolic Logic 64 (1999), no. 1, 1-12. MR 2000f:03151
  • 3. William J. Mitchell, The covering lemma, In preparation; to appear in Handbook of Set Theory, M. Foreman, A. Kanimori and M. Magidor editors, Kluwer Press.
  • 4. -, Applications of the covering lemma for sequences of measures, Transactions of the American Mathematical Society 299 (1987), no. 1, 41-58. MR 88a:03122
  • 5. -, On the singular cardinal hypothesis, Transactions of the American Mathematical Society 329 (1992), no. 2, 507-530. MR 92e:03081
  • 6. -, Jónsson cardinals, Erdos cardinals, and the core model, Journal of Symbolic Logic 64 (1999), no. 3, 1065-1086. CMP 2000:17
  • 7. -, A Gitik iteration with nearly Easton factoring, In preparation, 2001.
  • 8. -, One repeat point gives a closed, unbounded ultrafilter on $\omega_1$, In preparation, 2001.
  • 9. Lon Berk Radin, Adding closed cofinal sequences to large cardinals, Ann. Math. Logic 22 (1982), no. 3, 243-261. MR 83m:03062

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 03E35, 03E45, 03E55

Retrieve articles in all journals with MSC (2000): 03E35, 03E45, 03E55

Additional Information

William Mitchell
Affiliation: Department of Mathematics, University of Florida, Gainesville, Florida 32611

Received by editor(s): March 30, 2001
Published electronically: July 17, 2001
Additional Notes: This work was partially supported by grant number DMS-962-6143 from the National Science Foundation.
Article copyright: © Copyright 2001 American Mathematical Society

American Mathematical Society