Berarducci, Alessandro http://orcid.org/0000-0002-9927-1147
Mamino, Marcello http://orcid.org/0000-0001-9037-5903
Mennuni, Rosario http://orcid.org/0000-0003-2282-680X
Funding for this research was provided by:
Ministero dell’Istruzione, dell’Università e della Ricerca (PRIN 2017, “Mathematical logic: models, sets, computability”, Prot. 2017NWTM8RPRIN)
Università di Pisa
Article History
Received: 20 September 2023
Accepted: 11 January 2024
First Online: 17 February 2024
Declarations
:
: The authors declare no competing interests.