Showing math.LOShow all
2 papers · 1 filter
math.LO2025
The tree pigeonhole principle in the Weihrauch degrees
Damir Dzhafarov, Reed Solomon, Manlio Valenti
We study versions of the tree pigeonhole principle, , in the context of Weihrauch-style computable analysis. The principle has previously been the subject of extensi…
math.LO2024
The Ginsburg--Sands theorem and computability theory
Heidi Benham, Andrew De Lapo, Damir Dzhafarov +2
The Ginsburg--Sands theorem from topology states that every infinite topological space has an infinite subspace homeomorphic to exactly one of the following five topologies on …