Hostname: page-component-7479d7b7d-c9gpj Total loading time: 0 Render date: 2024-07-08T15:03:15.908Z Has data issue: false hasContentIssue false
  • English
  • Français

On splitting stationary subsets of large cardinals

Published online by Cambridge University Press:  12 March 2014

James E. Baumgartner ,
Alan D. Taylor  and
Stanley Wagon
James E. Baumgartner
Affiliation:
Dartmouth College, Hanover, New Hampshire 03755
Alan D. Taylor
Affiliation:
Union College, Schenectady, New York 12308
Stanley Wagon
Affiliation:
Smith College, Northampton, Massachusetts 01060
Get access Rights & Permissions [Opens in a new window]

Abstract

Let κ denote a regular uncountable cardinal and NS the normal ideal of nonstationary subsets of κ. Our results concern the well-known open question whether NS fails to be κ+-saturated, i.e., are there κ+ stationary subsets of κ with pairwise intersections nonstationary? Our first observation is:

Theorem. NS isκ+-saturated iff for every normal ideal J on κ there is a stationary set A ⊆ κsuch that J = NS∣A = {X ⊆ κ: X ∩ A ∈ NS}.

Turning our attention to large cardinals, we extend the usual (weak) Mahlo hierarchy to define “greatly Mahlo” cardinals and obtain the following:

Theorem. If κ is greatly Mahlo then NS is notκ+-saturated.

Theorem. If κ is ordinal Π11-indescribable (e.g., weakly compact), ethereal (e.g., subtle), or carries aκ-saturated ideal, thenκis greatly Mahlo. Moreover, there is a stationary set of greatly Mahlo cardinals below any ordinal Π11-indescribable cardinal.

These methods apply to other normal ideals as well; e.g., the subtle ideal on an ineffable cardinal κ is not κ+-saturated.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 42 , Issue 2 , June 1977 , pp. 203 - 214
Copyright
Copyright © Association for Symbolic Logic 1977

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]Baumgartner, James E., Ineffability properties of cardinals. I, Colloquia Mathematica Societatis János Bolyai 10, Infinite and finite sets, Keszthely 1973, pp. 109–130.Google Scholar
[2]Baumgartner, James E., Hajnal, András and Máté, Attila, Weak saturation properties of ideals, Colloquia Mathematica Societatis János Bolyai 10, Infinite and finite sets, Keszthely 1973, pp. 137–158.Google Scholar
[3]Baumgartner, James E., Taylor, Alan D. and Wagon, Stanley, Splitting large cardinals into stationary sets, Notices of the American Mathematical Society, vol. 22 (1975), pp. A-665–666.Google Scholar
[4]Drake, Frank R., Set theory, North-Holland, Amsterdam; 1974.Google Scholar
[5]Fodor, Géza, Eine Bemerkung zur Theorie der regressiven Funktionen, Acta Scientiarum Mathematicarum (Szeged), vol. 17 (1956), pp. 139–142.Google Scholar
[6]Jech, Thomas J., Some combinatorial problems concerning uncountable cardinals, Annals of Mathematical Logic, vol. 5 (1973), pp. 165–198.CrossRefGoogle Scholar
[7]Jech, Thomas J. and Prikry, Karel L., On ideals of sets and the power set operation, Bulletin of the American Mathematical Society, vol. 82 (1976), pp. 593–595.CrossRefGoogle Scholar
[8]Jensen, Ronald B., The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229–308.Google Scholar
[9]Jensen, Ronald B. and Kunen, Kenneth, Some combinatorial properties of L and V, mimeographed.Google Scholar
[10]Ketonen, Jussi, Some combinatorial principles, Transactions of the American Mathematical Society, vol. 188 (1974), pp. 387–394.Google Scholar
[11]Kunen, Kenneth, Some applications of iterated ultrapowers in set theory, Annals of Mathematical Logic, vol. 1 (1970), pp. 179–227.Google Scholar
[12]Kunen, Kenneth, Saturated Ideals (to appear).Google Scholar
[13]Namba, Kanji, On the closed unbounded ideal of ordinal numbers, Commentarli Mathematici Universitatis Sancii Pauli, vol. 22 (1974), pp. 33–56.Google Scholar
[14]Lévy, Azriel, The sizes of the indescribable cardinals, Axiomatic set theory, Proceedings of Symposia in Pure Mathematics, vol. 13 (1) (1971), pp. 205–218.CrossRefGoogle Scholar
[15]Prikry, Karel L., Changing measurable into accessible cardinals, Dissertationes Mathematicae (Rozprawy Matematyczne), vol. 68 (1970).Google Scholar
[16]Solovay, Robert M., Real-valued measurable cardinals, Axiomatic set theory, Proceedings of Symposia in Pure Mathematics, vol. 13 (1) (1971), pp. 397–428.CrossRefGoogle Scholar
[17]Tarski, Alfred, Ideale in vollständigen Mengenkörpern II, Fundamenta Mathematicae, vol. 33 (1945), pp. 51–65.Google Scholar
[18]Wagon, Stanley, Decompositions of saturated ideals, Doctoral dissertation, Dartmouth College, 1975.Google Scholar