solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看12731次
On $\left( 1,\omega_{1}\right) $\emph{-}weakly universal functions. (arXiv:1810.09072v1 [math.LO])
来源于:arXiv
A function $U:\left[ \omega_{1}\right] ^{2}\longrightarrow\omega$ is called
$\left( 1,\omega_{1}\right) $\emph{-weakly universal }if for every function
$F:\left[ \omega_{1}\right] ^{2}\longrightarrow\omega$ there is an injective
function $h:\omega_{1}\longrightarrow\omega_{1}$ and a function $e:\omega
\longrightarrow\omega$ such that $F\left( \alpha,\beta\right) =e\left( U\left(
h\left( \alpha\right) ,h\left( \beta\right) \right) \right) $ for every
$\alpha,\beta\in\omega_{1}$. We will prove that it is consistent that there are
no $\left( 1,\omega_{1}\right) $\emph{-}weakly universal functions, this
answers a question of Shelah and Stepr\={a}ns. In fact, we will prove that
there are no $\left( 1,\omega_{1}\right) $\emph{-}weakly universal functions in
the Cohen model and after adding $\omega_{2}$ Sacks reals side-by-side.
However, we show that there are $\left( 1,\omega _{1}\right) $\emph{-}weakly
universal functions in the Sacks model. In particular, the existence of such
graphs is co 查看全文>>