Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Giovanni Solda

Publications & Research Data

Awards & Distinctions

6 Results

2024

(Extra)ordinary equivalences with the ascending/descending sequence principle

Marta Fiori-CaronesAlberto MarconePaul ShaferGiovanni Solda

A1 Journal Article in JOURNAL OF SYMBOLIC LOGIC

On the Weihrauch degree of the additive Ramsey theorem

Arno PaulyCécilia PradicGiovanni Solda

A1 Journal Article in COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE

2023

Algebraic properties of the first-order part of a problem

Giovanni SoldaManlio Valenti

A1 Journal Article in ANNALS OF PURE AND APPLIED LOGIC

Provable better quasi orders

Anton FreundAlberto MarconeFedor PakhomovGiovanni Solda

The logical strength of minimal bad arrays

Anton FreundFedor PakhomovGiovanni Solda

2022

An inside/outside Ramsey theorem and recursion theory

Marta Fiori-CaronesPaul ShaferGiovanni Solda

A1 Journal Article in TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY