Manlio Valenti

According to our database, Manlio Valenti authored at least 11 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Categorifying computable reducibilities.

Davide Trotta, Manlio Valenti, Valeria de Paiva

Log. Methods Comput. Sci., 2025

THE WEIHRAUCH LATTICE AT THE LEVEL OF $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$ : THE CANTOR-BENDIXSON THEOREM.

Vittorio Cipriani, Alberto Marcone, Manlio Valenti

J. Symb. Log., 2025

Computably Discrete Represented Spaces.

Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti

Proceedings of the Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025

Represented Spaces of Represented Spaces.

Johanna Franklin, Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti

Proceedings of the Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025

2024

The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders.

Jun Le Goh, Arno Pauly, Manlio Valenti

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023

Algebraic properties of the first-order part of a problem.

Giovanni Soldà, Manlio Valenti

Ann. Pure Appl. Log., July, 2023

Minimal covers in the Weihrauch degrees.

Steffen Lempp, Joseph S. Miller, Arno Pauly, Mariya Ivanova Soskova, Manlio Valenti

CoRR, 2023

2022

Effective aspects of Hausdorff and Fourier dimension.

Alberto Marcone, Manlio Valenti

Comput., 2022

A journey through computability, topology and analysis.

Manlio Valenti

Bull. Symb. Log., 2022

2021

The Open and Clopen Ramsey theorems in the Weihrauch Lattice.

Alberto Marcone, Manlio Valenti

J. Symb. Log., 2021

Finding descending sequences through ill-Founded linear Orders.

Jun Le Goh, Arno Pauly, Manlio Valenti

J. Symb. Log., 2021