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.