Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-10T11:44:20.240Z Has data issue: false hasContentIssue false
  • English
  • Français

Precipitous ideals

Published online by Cambridge University Press:  12 March 2014

T. Jech ,
M. Magidor ,
W. Mitchell  and
K. Prikry
T. Jech
Affiliation:
Pennsylvania State University, University Park, PA 16802
M. Magidor
Affiliation:
Ben Gurion University of the Negev, Beer Sheva, Israel
W. Mitchell
Affiliation:
The Institute for Advanced Study, Princeton, NJ 08540
K. Prikry
Affiliation:
University of Minnesota, Minneapolis, MN 55455
Get access Rights & Permissions [Opens in a new window]

Extract

The properties of small cardinals such as ℵ1 tend to be much more complex than those of large cardinals, so that properties of ℵ1 may often be better understood by viewing them as large cardinal properties. In this paper we show that the existence of a precipitous ideal on ℵ1 is essentially the same as measurability.

If I is an ideal on P(κ) then R(I) is the notion of forcing whose conditions are sets x ∈ P(κ)/I, with x ≤ x′ if x ⊆ x′. Thus a set D R(I)-generic over the ground model V is an ultrafilter on P(κ) ⋂ V extending the filter dual to I. The ideal I is said to be precipitous if κ ⊨R(I)(Vκ/D is wellfounded).

One example of a precipitous ideal is the ideal dual to a κ-complete ultrafilter U on κ. This example is trivial since the generic ultrafilter D is equal to U and is already in the ground model. A generic set may be viewed as one that can be worked with in the ground model even though it is not actually in the ground model, so we might expect that cardinals such as ℵ1 that cannot be measurable still might have precipitous ideals, and such ideals might correspond closely to measures.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 45 , Issue 1 , March 1980 , pp. 1 - 8
Copyright
Copyright © Association for Symbolic Logic 1980

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]Galvin, F., Jech, T. and Magidor, M., An ideal game, this Journal, vol. 43 (1978), pp. 285–292.Google Scholar
[2]Jech, T. and Prikry, K., Ideals over uncountable sets: application of almost disjoint functions and generic ultrapowers, Memoirs of the American Mathematical Society, vol. 18 (2) (1979).CrossRefGoogle Scholar
[3]Jech, T. and Prikry, K., Bulletin of the American Mathematical Society (to appear).Google Scholar
[4]Kunen, K., Some applicationso of iterated ultrapowers in set theory, Annals of Mathematical Logic, vol. 1 (1970), pp. 179–227.CrossRefGoogle Scholar
[5]Mitchell, W., The core model for sequences of ultrafilters (in preparation).Google Scholar