Universal graphs at __1 + 1

Abstract: Starting from a supercompact cardinal we build a model in which

2^{a l e p h_{o m e g a_{1}}} = 2^{a l e p h_{o m e g a_{1} + 1}} = a l e p h_{o m e g a_{1} + 3}

but there is a jointly universal family of size

a l e p h_{o m e g a_{1} + 2}

of graphs on

a l e p h_{o m e g a_{1} + 1}

. The same technique will work for any uncountable cardinal in place of

o m e g a_{1}

.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Universal graphs at \(\aleph_{\omega_1 + 1}\)