Manlio Valenti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Categorifying computable reducibilities (available as arXiv preprint)	N/A	Paper
The weakness of finding descending sequences in ill-founded linear orders (available as arXiv preprint)	N/A	Paper
A jump operator on the Weihrauch degrees (available as arXiv preprint)	N/A	Paper
The tree pigeonhole principle in the Weihrauch degrees The Journal of Symbolic Logic	2026-09-18	Paper
Computably discrete represented spaces	2025-11-19	Paper
Represented spaces of represented spaces	2025-11-19	Paper
The Weihrauch lattice at the level of $\boldsymbol{\Pi }^1_1{-}\mathsf{CA}_0$: the Cantor-Bendixson theorem The Journal of Symbolic Logic	2025-07-24	Paper
Categorifying computable reducibilities Logical Methods in Computer Science	2025-03-06	Paper
The weakness of finding descending sequences in ill-founded linear orders	2025-02-07	Paper
Minimal covers in the Weihrauch degrees Proceedings of the American Mathematical Society	2024-10-18	Paper
The tree pigeonhole principle in the Weihrauch degrees	2023-12-16	Paper
Minimal covers in the Weihrauch degrees	2023-11-21	Paper
Algebraic properties of the first-order part of a problem Annals of Pure and Applied Logic	2023-05-19	Paper
Effective aspects of Hausdorff and Fourier dimension Computability	2023-01-12	Paper
The Weihrauch lattice at the level of $\boldsymbol{\Pi}_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem	2022-10-27	Paper
On the descriptive complexity of Salem sets Fundamenta Mathematicae	2022-03-29	Paper
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS Journal of Symbolic Logic	2021-10-27	Paper
THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE Journal of Symbolic Logic	2021-07-12	Paper
The open and clopen Ramsey theorems in the Weihrauch lattice (available as arXiv preprint)	2020-03-09	Paper

Research outcomes over time

This page was built for person: Manlio Valenti