Nominativo:
GJETAJ ORIOLA
Periodo rapporto:
11-07-2025 to 25-09-2025
Oggetto dell'incarico:
Supporto al progetto di ricerca sull'analisi di teoremi di tipo Ramsey. Studio dal punto di vista logico e computazionale delle generalizzazioni di alcuni teoremi di tipo Hindman e dell'andamento asintotico di versioni "finitarie" di teoremi di tipo Hindman, allo scopo di determinarne la dimostrabilità/indimostrabilità in opportuni sistemi assiomatici della aritmetica del primo ordine.
Curriculum vitae:
dichiarazione altri incarichi:
consegnata, caricamento scansione modello A
Compenso:
€6 000.00
Bando, provvedimento o avviso interno relativo alla procedura di conferimento:
periodo pubblicazione:
Giovedì, 10 Luglio, 2025 to Lunedì, 10 Luglio, 2028
CARICAMENTO MODELLO A:
Attestazione dell’avvenuta verifica dell’insussistenza di conflitto di interessi:
Tipologia incarico:
SPC:
2025-0065-1340-0236129
Controllo UGOV:
true