Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-05T15:08:43.791Z Has data issue: false hasContentIssue false

SMALL UNIVERSAL FAMILIES OF GRAPHS ON ℵω + 1

Published online by Cambridge University Press:  29 June 2016

JAMES CUMMINGS
Affiliation:
DEPARTMENT OF MATHEMATICAL SCIENCESCARNEGIE MELLON UNIVERSITYPITTSBURGH PA15213-3890, USAE-mail:[email protected]
MIRNA DŽAMONJA
Affiliation:
SCHOOL OF MATHEMATICSUNIVERSITY OF EAST ANGLIA NORWICH, NR4 7TJ, UKE-mail:[email protected]
CHARLES MORGAN
Affiliation:
DEPARTMENT OF MATHEMATICSUNIVERSITY COLLEGE LONDONGOWER STREET, LONDON WC1E 6BT, UKE-mail:[email protected]

Abstract

We prove that it is consistent that $\aleph _\omega $ is strong limit, $2^{\aleph _\omega } $ is large and the universality number for graphs on $\aleph _{\omega + 1} $ is small. The proof uses Prikry forcing with interleaved collapsing.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2016 

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

Cummings, James, A model in which GCH holds at successors but fails at limits . Transactions of the American Mathematical Society, vol. 329 (1992), no. 1, pp. 139.Google Scholar
Cummings, James, Džamonja, Mirna, Magidor, Menachem, Morgan, Charles, and Shelah, Saharon, A framework for forcing constructions at successors of singular cardinals . Transactions of the American Mathematical Society, submitted.Google Scholar
Džamonja, Mirna and Shelah, Saharon, Universal graphs at the successor of a singular cardinal , this Journal, vol. 68 (2003), pp. 366387.Google Scholar
Džamonja, Mirna and Shelah, Saharon, On the existence of universal models . Archive for Mathematical Logic, vol. 43 (2004), no. 7, pp. 901936.Google Scholar
Foreman, Matthew and Woodin, Hugh, The generalized continuum hypothesis can fail everywhere . Annals of Mathematics, vol. 133 (1991), no. 1, pp. 135.Google Scholar
Kojman, Menachem and Shelah, Saharon, Nonexistence of universal orders in many cardinals , this Journal, vol. 57 (1992), no. 3, pp. 875891.Google Scholar
Laver, Richard, Making the supercompactness of κ indestructible under κ-directed closed forcing . Israel Journal of Mathematics, vol. 29 (1978), no. 4, pp. 385388.CrossRefGoogle Scholar
Magidor, Menachem, On the singular cardinals problem. I . Israel Journal of Mathematics, vol. 28 (1977), pp. 131.Google Scholar
Mathias, Adrian, Sequences generic in the sense of Prikry . Journal of the Australian Mathematical Society, vol. 15 (1973), no. 4, pp. 409414.Google Scholar
Mekler, Alan, Universal structures in power $\aleph _1 $ , this Journal, vol. 55 (1990), no. 2, pp. 466477.Google Scholar
Mitchell, William J., How weak is a closed unbounded ultrafilter? Logic Colloquium ’80 (Prague, 1980), Studies in Logic and the Foundations of Mathematics, vol. 108, pp. 209230, North-Holland, Amsterdam, 1982.Google Scholar
Shelah, Saharon, A weak generalization of MA to higher cardinals . Israel Journal of Mathematics, vol. 30 (1978), no. 4, pp. 297306.Google Scholar
Shelah, Saharon, On universal graphs without instances of CH . Annals of Pure and Applied Logic, vol. 26 (1984), no. 1, pp. 7587.CrossRefGoogle Scholar
Shelah, Saharon, Diamonds . Proceedings of the American Mathematical Society, vol. 138 (2010), pp. 21512161.Google Scholar