Sh:1088

• Shelah, S., & Steprāns, J. Universal graphs and functions on \omega_1.
• Abstract:
  It is shown to be consistent with various values of mathfrak{b} and \mathfrak{d} that there is a universal graph on \omega_1. Moreover, it is also shown that it is consistent that there is a ’ universal graph on \omega_1 - in other words, a universal symmetric function from \omega^2_1 to 2 – but no such function from \omega^2_1 to \omega. The method used relies on iterating well know reals, such as Miller and Laver reals, and alternating this with the PID forcing which adds no new reals. 171102 He promise that after his visit, the new theorem proved will be added ; as had been afer his visit in Israel
• No downloadable versions available.

@article{Sh:1088,
 author = {Shelah, Saharon and Stepr{\={a}}ns, Juris},
 title = {{Universal graphs and functions on $\omega_1$}}
}