Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Artykuły Online First

Fundamenta Mathematicae

Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

On $(1,\omega _{1})$-weakly universal functions

Tom 247 / 2019

Fundamenta Mathematicae 247 (2019), 87-98 MSC: Primary 03E35, 03E05; Secondary 03E40. DOI: 10.4064/fm630-9-2018 Opublikowany online: 18 March 2019

Streszczenie

A function $U:[ \omega _{1} ] ^{2}\rightarrow \omega$ is called $( 1,\omega _{1} )$-weakly universal if for every function $F:[ \omega _{1} ] ^{2}\rightarrow \omega$ there is an injective function $h:\omega _{1}\rightarrow \omega _{1}$ and a function $e:\omega \rightarrow \omega$ such that $F( \alpha ,\beta ) =e( U( h( \alpha ) ,h( \beta ) ) )$ for all $\alpha ,\beta \in \omega _{1}$. We will prove that it is consistent that there are no $( 1,\omega _{1} )$-weakly universal functions; this answers a question of Shelah and Steprāns. In fact, we will prove that there are no $( 1,\omega _{1} )$-weakly universal functions in the Cohen model and after adding $\omega _{2}$ Sacks reals side-by-side. However, we show that there are $( 1,\omega _{1})$-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.

Autorzy

• Osvaldo GuzmánUniversity of Toronto