Rival-Sands principles in the Weihrauch degrees

Abstract: wRSg and wRSgr are consequences of RSg, a theorem about graphs proved in 1980 by Rival and Sands. wRSg and wRSgr can be shown to be equivalent to Ramsey theorem for pairs over RCA_0, but are computationally strictly weaker. In this talk, we will study the Weihrauch degrees associated to these principles, by comparing them with the degrees of other classical theorems introduced in the analysis of RT22. This is a joint work with Marta Fiori Carones and Paul Shafer.

logic

Audience: researchers in the topic

Computability theory and applications

Series comments: Description: Computability theory, logic

The goal of this endeavor is to run a seminar on the platform Zoom on a weekly basis, perhaps with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia. While the meetings are always scheduled for Tuesdays, the timezone varies, so please refer to the calendar on the website for details about individual seminars.