Image de couverture de livre

Chains and antichains in the Weihrauch lattice

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lempp, Steffen, Marcone, Alberto, Valenti, Manlio
Format:	Preprint
Publié:	2024
Sujets:	Logic Primary 03D30, Secondary 03D78
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

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

The tree pigeonhole principle in the Weihrauch degrees
par: Dzhafarov, Damir, et autres
Publié: (2023)

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

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

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

A non-computable c.e. closed subset of $[0,1]$
par: Badaev, Serikzhan, et autres
Publié: (2025)

Computability for tree presentations of continuum-size structures
par: Block, Jason, et autres
Publié: (2025)

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

Contrasting the Halves of an Ahmad Pair
par: Ravishankar, Karthik
Publié: (2025)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
par: Gerdes, Peter
Publié: (2023)

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

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

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

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
par: Harrington, Leo A., et autres
Publié: (2025)

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
par: Song, Sirun, et autres
Publié: (2025)

Computable topological groups
par: Koh, Heer Tern, et autres
Publié: (2022)

Solovay reducibility implies S2a-reducibility
par: Titov, Ivan
Publié: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
par: Merkle, Wolfgang, et autres
Publié: (2024)

Iterated jump noncomputability and compactness
par: Dooley, Gavin
Publié: (2025)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
par: Hertling, Peter, et autres
Publié: (2025)

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

Loops, Inverse Limits and Non-Determinism
par: Brattka, Vasco
Publié: (2025)

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

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

(Extra)ordinary equivalences with the ascending/descending sequence principle
par: Fiori-Carones, Marta, et autres
Publié: (2021)

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

New definitions in the theory of Type 1 computable topological spaces
par: Rauzy, Emmanuel
Publié: (2023)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
par: Rauzy, Emmanuel
Publié: (2023)

Computability of the Hahn-Banach Theorem Revisited
par: Brattka, Vasco, et autres
Publié: (2026)

Variants of Solovay reducibility
par: Titov, Ivan
Publié: (2024)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
par: Aceves-Martínez, Bruno Fernando, et autres
Publié: (2024)

Computably discrete represented spaces
par: Neumann, Eike, et autres
Publié: (2025)

Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
par: Titov, Ivan
Publié: (2024)

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

Randomness versus superspeedability
par: Hölzl, Rupert, et autres
Publié: (2024)

Benign approximations and non-speedability
par: Hölzl, Rupert, et autres
Publié: (2023)

Evaluative presentations
par: McNicholl, Timothy H.
Publié: (2024)