Saturation properties of ideals in generic extensions. I

Authors:
James E. Baumgartner and Alan D. Taylor

Journal:
Trans. Amer. Math. Soc. **270** (1982), 557-574

MSC:
Primary 03C62; Secondary 03E05, 03E35, 03E40, 03E55

MathSciNet review:
645330

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We consider saturation properties of ideals in models obtained by forcing with countable chain condition partial orderings. As sample results, we mention the following. If is obtained from a model of GCH via any -finite chain condition notion of forcing (e.g. add Cohen reals or random reals) then in every countably complete ideal on is -saturated. If "-finite chain condition" is weakened to "countable chain condition," then the conclusion no longer holds, but in this case one can conclude that every -generated countably complete ideal on (e.g. the nonstationary ideal) is -saturated. Some applications to are included and the role played by Martin's Axiom is discussed. It is also shown that if these weak saturation requirements are combined with some cardinality constraints (e.g. ), then the consistency of some rather large cardinals becomes both necessary and sufficient.

**[B]**James E. Baumgartner,*Almost-disjoint sets, the dense set problem and the partition calculus*, Ann. Math. Logic**9**(1976), no. 4, 401–439. MR**0401472****[B]**James E. Baumgartner,*Canonical partition relations*, J. Symbolic Logic**40**(1975), no. 4, 541–554. MR**0398837****[BT]**James E. Baumgartner and Alan D. Taylor,*Saturation properties of ideals in generic extensions. II*, Trans. Amer. Math. Soc.**271**(1982), no. 2, 587–609. MR**654852**, 10.1090/S0002-9947-1982-0654852-4**[BTW]**James E. Baumgartner, Alan D. Taylor, and Stanley Wagon,*On splitting stationary subsets of large cardinals*, J. Symbolic Logic**42**(1977), no. 2, 203–214. MR**0505505****[BTW]**-,*Structural properties of ideals*, Dissertationes Math. (to appear).**[Di]**C. DiPrisco,*Combinatorial properties and supercompact cardinals*, Ph.D. Thesis, M.I.T., 1976.**[DJ]**A. Dodd and R. Jensen,*The core model*, circulated notes (1976).**[EHMR]**P. Erdös, A. Hajnal, A. Máté and R. Rado,*Combinatorial set theory*:*Partition relations for cardinals*(to appear).**[F]**G. Fodor,*Eine Bemerkung zur Theorie der regressiven Funktionen*, Acta Sci. Math. Szeged**17**(1956), 139–142 (German). MR**0082450****[J]**Thomas J. Jech,*Some combinatorial problems concerning uncountable cardinals*, Ann. Math. Logic**5**(1972/73), 165–198. MR**0325397****[J]**-,*On the number of generators of an ideal*(to appear).**[JP]**Thomas Jech and Karel Prikry,*Ideals over uncountable sets: application of almost disjoint functions and generic ultrapowers*, Mem. Amer. Math. Soc.**18**(1979), no. 214, iii+71. MR**519927**, 10.1090/memo/0214**[Je]**R. Jensen,*Marginalia to a theorem of Silver*, circulated notes (1975).**[K]**Yuzuru Kakuda,*Saturated ideals in Boolean extensions*, Nagoya Math. J.**48**(1972), 159–168. MR**0316248****[Ka]**Akihiro Kanamori,*Perfect-set forcing for uncountable cardinals*, Ann. Math. Logic**19**(1980), no. 1-2, 97–114. MR**593029**, 10.1016/0003-4843(80)90021-2**[Ke]**Jussi Ketonen,*Some combinatorial principles*, Trans. Amer. Math. Soc.**188**(1974), 387–394. MR**0332481**, 10.1090/S0002-9947-1974-0332481-5**[Ku]**David W. Kueker,*Countable approximations and Löwenheim-Skolem theorems*, Ann. Math. Logic**11**(1977), no. 1, 57–103. MR**0457191****[Kun]**Kenneth Kunen,*Saturated ideals*, J. Symbolic Logic**43**(1978), no. 1, 65–76. MR**495118**, 10.2307/2271949**[KP]**K. Kunen and J. B. Paris,*Boolean extensions and measurable cardinals*, Ann. Math. Logic**2**(1970/1971), no. 4, 359–377. MR**0277381****[L]**Richard Laver,*Making the supercompactness of 𝜅 indestructible under 𝜅-directed closed forcing*, Israel J. Math.**29**(1978), no. 4, 385–388. MR**0472529****[M]**Menachem Magidor,*Changing cofinality of cardinals*, Fund. Math.**99**(1978), no. 1, 61–71. MR**0465868****[M]**-,*On the singular cardinals problem*. II, Ann. of Math. (to appear).**[Me]**Telis K. Menas,*On strong compactness and supercompactness*, Ann. Math. Logic**7**(1974/75), 327–359. MR**0357121****[Me]**Telis K. Menas,*Consistency results concerning supercompactness*, Trans. Amer. Math. Soc.**223**(1976), 61–91. MR**0540771**, 10.1090/S0002-9947-1976-0540771-8**[MR]**E. C. Milner and R. Rado,*The pigeon-hole principle for ordinal numbers*, Proc. London Math. Soc. (3)**15**(1965), 750–768. MR**0190003****[P]**K. L. Prikry,*Changing measurable into accessible cardinals*, Dissertationes Math. Rozprawy Mat.**68**(1970), 55. MR**0262075****[S]**Robert M. Solovay,*Real-valued measurable cardinals*, Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 397–428. MR**0290961****[T]**Alan D. Taylor,*Regularity properties of ideals and ultrafilters*, Ann. Math. Logic**16**(1979), no. 1, 33–55. MR**530430**, 10.1016/0003-4843(79)90015-9**[T]**Alan D. Taylor,*On saturated sets of ideals and Ulam’s problem*, Fund. Math.**109**(1980), no. 1, 37–53. MR**594324****[W]**Stanley Wagon,*The saturation of a product of ideals*, Canad. J. Math.**32**(1980), no. 1, 70–75. MR**559787**, 10.4153/CJM-1980-007-9

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
03C62,
03E05,
03E35,
03E40,
03E55

Retrieve articles in all journals with MSC: 03C62, 03E05, 03E35, 03E40, 03E55

Additional Information

DOI:
http://dx.doi.org/10.1090/S0002-9947-1982-0645330-7

Article copyright:
© Copyright 1982
American Mathematical Society