Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Reitzes, Sarah C."'
In this paper we examine the reverse mathematical strength of a variation of Hindman's Theorem HT constructed by essentially combining HT with the Thin Set Theorem TS to obtain a principle which we call thin-HT. thin-HT says that every coloring $c: \
Externí odkaz:
http://arxiv.org/abs/2203.08658
Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between $\Pi^1_2$ principles over $\omega$-models of $\mathsf{RCA}_0$. They
Externí odkaz:
http://arxiv.org/abs/2008.00907
Publikováno v:
Journal of Mathematical Logic. 22
Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between $\Pi^1_2$ principles over $\omega$-models of $\mathsf{RCA}_0$. They
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1b1d3e1f4ceae91eac84ab08dd34ff9
https://doi.org/10.1142/s021906132250009x
https://doi.org/10.1142/s021906132250009x
