My research interests are computability theory, reverse mathematics, computable analysis and Weihrauch reducibility. Recently, I have started expanding my interests to learning theory and proof theory.

Here is a list of my published papers:

  • Marta Fiori-Carones, Paul Shafer, Giovanni Soldà, An Inside/Outside Ramsey Theorem and Recursion Theory, Transactions of the AMS, 373(5), pp. 1977-2024, mar 2022, DOI 10.1090/tran/8561.
  • Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà, (Extra)ordinary equivalences with the ascending/descending sequence principle, Journal of Symbolic Logic, 89(1), pp. 262-307, mar 2024, DOI 10.1017/jsl.2022.92.
  • Giovanni Soldà, Manlio Valenti, Algebraic properties of the first-order part of a problem, Annals of Pure and Applied Logic, 174(7), jan 2023, DOI 10.1016/j.apal.2023.103270.
  • Arno Pauly, Cecilia Pradic, Giovanni Soldà, On the Weihrauch degree of the additive Ramsey theorem, Computability, 13(3-4), pp. 459-483, 2024, DOI 10.3233/COM-230437.
  • Arno Pauly, Giovanni Soldà, Sequential discontinuity and first-order problems, in the volume Twenty years of theoretical and practical synergies, CiE 2024, LNCS 14773, pp. 351-365, 2024, DOI 10.1007/978-3-031-64309-5_28.
  • Anton Freund, Fedor Pakhomov, Giovanni Soldà, The logical strength of minimal bad arrays, Proceedings of the AMS, 152(12), pp. 4993-5005, dec 2024, DOI 10.1090/proc/17038.
  • Anton Freund, Alberto Marcone, Fedor Pakhomov, Giovanni Soldà, Provable better-quasi-orders, Notre Dame Journal of Formal Logic, 66(2), pp. 175-188, may 2025, DOI 10.1215/00294527-2024-0036.
  • Fedor Pakhomov, Giovanni Soldà, On Nash-Williams’ theorem regarding sequences with finite range, Transactions of the AMS, 379, pp.\ 5353–5390, may 2026 (online), DOI 10.1090/tran/9669.

Here is a list of my submitted papers:

  • Vittorio Cipriani, Valentino Delle Rose, Luca San Mauro, Giovanni Soldà, On statistical learning of graphs, submitted, available on arxiv.
  • Fedor Pakhomov, Giovanni Soldà, Generalized Higman’s theorem and iterated ideals, submitted, available on arxiv.
  • Mojtaba Mojtahedi, Fedor Pakhomov, Giovanni Soldà, Infinitary Provability Logic, submitted.