On $\left( 1,ω_{1}\right) $\emph{-}weakly universal functions

Abstract

A function $U:\left[ ω_{1}\right] ^{2}\longrightarrowω$ is called $\left( 1,ω_{1}\right) $\emph{-weakly universal }if for every function $F:\left[ ω_{1}\right] ^{2}\longrightarrowω$ there is an injective function $h:ω_{1}\longrightarrowω_{1}$ and a function $e:ω\longrightarrowω$ such that $F\left( α,β\right) =e\left( U\left( h\left( α\right) ,h\left( β\right) \right) \right) $ for every $α,β\inω_{1}$. We will prove that it is consistent that there are no $\left( 1,ω_{1}\right) $\emph{-}weakly universal functions, this answers a question of Shelah and Steprāns. In fact, we will prove that there are no $\left( 1,ω_{1}\right) $\emph{-}weakly universal functions in the Cohen model and after adding $ω_{2}$ Sacks reals side-by-side. However, we show that there are $\left( 1,ω_{1}\right) $\emph{-}weakly universal functions in the Sacks model. In particular, the existence of such graphs is consistent with $\clubsuit$ and the negation of the Continuum Hypothesis.