Image de couverture de livre

The tree pigeonhole principle in the Weihrauch degrees

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Dzhafarov, Damir, Solomon, Reed, Valenti, Manlio
Format:	Preprint
Publié:	2023
Sujets:	Logic 03D78, 03D30, 03B30, 05C55, 05C05
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Galvin-Prikry Theorem in the Weihrauch lattice
par: Marcone, Alberto, et autres
Publié: (2024)

A jump operator on the Weihrauch degrees
par: Andrews, Uri, et autres
Publié: (2024)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
par: Carlucci, Lorenzo, et autres
Publié: (2025)

Minimal covers in the Weihrauch degrees
par: Lempp, Steffen, et autres
Publié: (2023)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
par: Cipriani, Vittorio, et autres
Publié: (2022)

Chains and antichains in the Weihrauch lattice
par: Lempp, Steffen, et autres
Publié: (2024)

The reverse mathematics of the pigeonhole hierarchy
par: Houérou, Quentin Le, et autres
Publié: (2024)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

Embeddability of graphs and Weihrauch degrees
par: Cipriani, Vittorio, et autres
Publié: (2023)

A complicated family of trees with omega + 1 levels
par: Shelah, Saharon
Publié: (2014)

Countable Ordered Groups and Weihrauch Reducibility
par: Li, Ang
Publié: (2024)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
par: Sorg, Christopher
Publié: (2026)

More on the indivisibility of $\mathbb{Q}$
par: Pauly, Arno
Publié: (2024)

$Π^0_4$ conservation of the Ordered Variable Word theorem
par: Houérou, Quentin Le, et autres
Publié: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2024)

Big Ramsey degrees and the two-branching pseudotree
par: Chodounský, David, et autres
Publié: (2025)

Bounded Ramsey's theorem for triples in computability theory
par: Patey, Ludovic, et autres
Publié: (2026)

Sequential discontinuity and first-order problems
par: Pauly, Arno, et autres
Publié: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2025)

Big Ramsey Degrees and Infinite Languages
par: Braunfeld, Samuel, et autres
Publié: (2023)

Weihrauch problems as containers
par: Pradic, Cécilia, et autres
Publié: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)

Problems with fixpoints of polynomials of polynomials
par: Pradic, Cécilia, et autres
Publié: (2026)

A topos for extended Weihrauch degrees
par: Maschio, Samuele, et autres
Publié: (2025)

Ramsey-like theorems for separable permutations
par: Houérou, Quentin Le, et autres
Publié: (2025)

Finding descending sequences through ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2020)

The weakness of finding descending sequences in ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2024)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
par: Paolini, Gianluca, et autres
Publié: (2024)

Regainingly approximable numbers and sets
par: Hertling, Peter, et autres
Publié: (2023)

The computational content of multidimensional discontinuity
par: Hölzl, Rupert, et autres
Publié: (2024)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

The strength of Ramsey's theorem for $α$-large sets
par: Carlucci, Lorenzo, et autres
Publié: (2026)

A non-speedup result for the chain-antichain principle over a weak base theory
par: Kowalik, Katarzyna W.
Publié: (2025)

The Weihrauch degree of finding Nash equilibria in multiplayer games
par: Crook, Tonicha, et autres
Publié: (2021)

Ramsey-like theorems for the Schreier barrier
par: Carlucci, Lorenzo, et autres
Publié: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
par: Buriola, Gabriele, et autres
Publié: (2025)

The uniform Kruskal theorem over RCA$_0$
par: Uftring, Patrick
Publié: (2025)

Structured sunflowers and canonical Ramsey properties
par: Sullivan, Rob, et autres
Publié: (2026)

Ramsey expansions of $Λ$-ultrametric spaces
par: Braunfeld, Samuel
Publié: (2017)

String Dimension: VC Dimension for Infinite Shattering
par: Ryan-Smith, Calliope
Publié: (2024)