Small universal families of graphs on $\aleph_{\omega+1}$

James Cummings; Mirna Dzamonja; Charles Morgan

doi:10.1017/jsl.2015.65

Small universal families of graphs on $\aleph_{\omega+1}$

James Cummings, Mirna Dzamonja, Charles Morgan

Algebra, Number Theory, Logic, and Representations (ANTLR)

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

18 Downloads (Pure)

Abstract

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

Original language	English
Pages (from-to)	541-569
Number of pages	29
Journal	Journal of Symbolic Logic
Volume	81
Issue number	02
Early online date	29 Jun 2016
DOIs	https://doi.org/10.1017/jsl.2015.65
Publication status	Published - Jun 2016

Keywords

Universality
graphs
Prikry forcing
iterated forcing
master conditions
successors of singular cardinals
Laver indestructibility

Access to Document

10.1017/jsl.2015.65

arxivAccepted author manuscript, 537 KB

Nice Uncountable Constructions.
Dzamonja, M.
Leverhulme Trust
1/05/14 → 30/04/15
Project: Research
Combinational set theory at the successor of a singular cardinal: a marriage of a forcing axiom and a reflection principle
Dzamonja, M.
Engineering and Physical Sciences Research Council
1/10/10 → 15/03/14
Project: Research

Cite this

@article{f28467b25b8b4471972fd726b9816307,

title = "Small universal families of graphs on $\aleph_{\omega+1}$",

abstract = "We prove that it is consistent that א_ω is strong limit, 2^{א_ω} is large and the universality number for graphs on א_{ω+1} is small. The proof uses Prikry forcing with interleaved collapsing.",

keywords = "Universality, graphs, Prikry forcing, iterated forcing, master conditions, successors of singular cardinals, Laver indestructibility",

author = "James Cummings and Mirna Dzamonja and Charles Morgan",

year = "2016",

month = jun,

doi = "10.1017/jsl.2015.65",

language = "English",

volume = "81",

pages = "541--569",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "02",

}

TY - JOUR

T1 - Small universal families of graphs on $\aleph_{\omega+1}$

AU - Cummings, James

AU - Dzamonja, Mirna

AU - Morgan, Charles

PY - 2016/6

Y1 - 2016/6

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

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

KW - Universality

KW - graphs

KW - Prikry forcing

KW - iterated forcing

KW - master conditions

KW - successors of singular cardinals

KW - Laver indestructibility

U2 - 10.1017/jsl.2015.65

DO - 10.1017/jsl.2015.65

M3 - Article

SN - 0022-4812

VL - 81

SP - 541

EP - 569

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 02

ER -

Small universal families of graphs on $\aleph_{\omega+1}$

Abstract

Keywords

Access to Document

Projects

Nice Uncountable Constructions.

Combinational set theory at the successor of a singular cardinal: a marriage of a forcing axiom and a reflection principle

Cite this