Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Giovanni Solda

Publicaties & datasets

Prijzen & Erkenningen

6 Resultaten

2024

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

Marta Fiori-CaronesAlberto MarconePaul ShaferGiovanni Solda

A1 Artikel in een tijdschrift in JOURNAL OF SYMBOLIC LOGIC

On the Weihrauch degree of the additive Ramsey theorem

Arno PaulyCécilia PradicGiovanni Solda

A1 Artikel in een tijdschrift in COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE

2023

Algebraic properties of the first-order part of a problem

Giovanni SoldaManlio Valenti

A1 Artikel in een tijdschrift 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 Artikel in een tijdschrift in TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY