### References & Citations

# Mathematics > Logic

# Title: Universal graphs at $\aleph_{ω_1+1}$

(Submitted on 2 May 2016)

Abstract: Starting from a supercompact cardinal we build a model in which $2^{\aleph_{\omega_1}}=2^{\aleph_{\omega_1+1}}=\aleph_{\omega_1+3}$ but there is a jointly universal family of size $\aleph_{\omega_1+2}$ of graphs on $\aleph_{\omega_1+1}$. The same technique will work for any uncountable cardinal in place of $\omega_1$.

Link back to: arXiv, form interface, contact.