|
A measurable cardinal with a closed unbounded set of inaccessibles from
Author(s):
William
Mitchell
Journal:
Trans. Amer. Math. Soc.
353
(2001),
4863-4897.
MSC (2000):
Primary 03E35, 03E45, 03E55
Posted:
July 17, 2001
MathSciNet review:
1852085
Retrieve article in:
PDF
This article is available free of charge
Abstract |
References |
Similar articles |
Additional information
Abstract:
We prove that is sufficient to construct a model in which is measurable and is a closed and unbounded subset of containing only inaccessible cardinals of . Gitik proved that is necessary. We also calculate the consistency strength of the existence of such a set together with the assumption that is Mahlo, weakly compact, or Ramsey. In addition we consider the possibility of having the set generate the closed unbounded ultrafilter of while remains measurable, and show that Radin forcing, which requires a weak repeat point, cannot be improved on.
References:
-
- 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
, 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
Email:
mitchell@math.ufl.edu
DOI:
10.1090/S0002-9947-01-02853-7
PII:
S 0002-9947(01)02853-7
Received by editor(s):
March 30, 2001
Posted:
July 17, 2001
Additional Notes:
This work was partially supported by grant number DMS-962-6143 from the National Science Foundation.
Copyright of article:
Copyright
2001,
American Mathematical Society
|