Hostname: page-component-848d4c4894-2pzkn Total loading time: 0 Render date: 2024-05-06T05:46:43.964Z Has data issue: false hasContentIssue false
  • English
  • Français

The relative consistency of g < cf(Sym(ω))

Published online by Cambridge University Press:  12 March 2014

Heike Mildenbergert  and
Saharon Shelah
Heike Mildenbergert*
Affiliation:
The Hebrew University of Jerusalem, Institute of Mathematics, Givat Ram. 91904 Jerusalem., Israel, E-mail: heike@math.huji.ac.il
*
Universität Wien. Institut für Formale Logik. Währinger Str. 25, A-1090, Vienna, Austria, E-mail: heike@logik.univie.ac.at
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove the consistency result from the title. By forcing we construct a model of g = ℵ1, b = cf(Sym(ω)) = ℵ2.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 67 , Issue 1 , March 2002 , pp. 297 - 314
Copyright
Copyright © Association for Symbolic Logic 2002

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]Abraham, U.Proper Forcing, Handbook of Set Theory (Foreman, M., Kanamori, A., and Magidor, M., editors), Kluwer, to appear.Google Scholar
[2]Abraham, U., Shelah, S., and Solovay, R., Squared diamonds, Fundamenta Mathematicae, vol. 78 (1982), pp. 165–181.Google Scholar
[3]Devlin, K., Constructibility, Omega Series, Springer, 1980.Google Scholar
[4]Kunen, K., Set Theory, An Introduction to Independence Proofs, North-Holland, 1980.Google Scholar
[5]Mathias, A., Happy families, Annals of Mathematical Logic, vol. 12 (1977), pp. 59–111.CrossRefGoogle Scholar
[6]Shelah, S., Non-elementary proper forcing notions, Journal of Applied Analysis, submitted.Google Scholar
[7]Shelah, S., Proper and Improper Forcing, Springer, 1977.Google Scholar
[8]Shelah, S., Tree forcings, preprint, 2000.Google Scholar
[9]Thomas, S., Groupwise density and the cofinality of the infinite symmetric group, Archive for Mathematical Logic, vol. 37 (1998), pp. 483–493.CrossRefGoogle Scholar