BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

Finite multiples of ω, big Ramsey degrees, and Weihrauch reducibility Dooley, Gavin

Description

In a 2025 paper, Boyland, Gasarch, Hurtig, and Rust compute the big Ramsey degree of an n-tuple in ω·k (as a linear order) to be kⁿ. Their upper bound proof happens to be a Weihrauch reduction. We ask a question concerning the computational content of this result.

Item Media

Item Citations and Data

Rights

Attribution-NonCommercial-NoDerivatives 4.0 International