Abstract

Our research project delves into mathematical logic's diverse subfields like axiomatic set theory, computability theory, descriptive set theory, and model theory. Our network specializes in classification questions and applying logic to mathematics, focusing on topics like forcing, large cardinals, exponential fields, and surreal numbers. Our scientific goals include decidability of real exponential fields, Zilber's conjecture, and descriptive set theory for singular cardinals. We aim to strengthen collaborations and disseminate results internationally.

Partenariato

• Università degli Studi di Torino (PI)
• Università degli Studi di Pisa
• Università degli Studi di Camerino
• Università degli Studi della Campania

Importo del progetto

Importo totale del progetto        Euro 255.065
Importo del progetto Uniud        Euro 35.492
Finanziamento Uniud                Euro 12.458

Durata

• Data avvio progetto 28/09/2023
• Data conclusione progetto 28/09/2025

Link

Pagina web