Descrizione posizione

Titolo del progetto di ricerca in italiano	Teora dei modelli e applicazioni all'algebra
Titolo del progetto di ricerca in inglese	Model Theory and Applications to Algebra
Descrizione sintetica in italiano	Il progetto intende approfondire la Logica Matematica, in particolare la Teoria dei Modelli e le sue interazioni con altre parti della Matematica, tra cui l’Algebra. La tematica risale agli ultimi anni 30 e ai teoremi di eliminazione dei quantificatori di Tarski per i campi reali e complessi. In tempi più recenti la o-minimalità ha avuto significative applicazioni all’analisi reale, alla geometria analitica e algebra reale e alla geometria diofantea; le idee innovative di Zilber sulle geometrie di Zariski hanno suggerito nuovi approcci per lo studio dell’esponenziazione complessa; strumenti di teoria dei modelli sono stati utilizzati con successo in teoria dei moduli e dei gruppi di Lie. Il progetto vuole sviluppare questi aspetti, in cooperazione con la comunità europea e internazionale di Teoria dei Modelli
Descrizione sintetica in inglese	The project wishes to study Mathematical Logic, in particular Model Theory and its interactions with other parts of Mathematics, above all with Algebra. These connections can be traced back to Tarski’s quantifier elimination results for the complex and real fields in the lates 1930s. More recently o-minimality has been applied to real analysis, real analytic and algebraic geometry and diophantine geometry; furthermore the innovative ideas of Zilber on Zariski geometries have suggested a new approach to the understanding of complex exponentiation; finally model theoretic tools have led to successful applications also to the theory of modules and Lie groups. The project aims to deepen all these topics within the Model Theory community in Europe and in the world
Numero posti	1
Settore Concorsuale	01/A1 - LOGICA MATEMATICA E MATEMATICHE COMPLEMENTARI
S.S.D	MAT/01 - LOGICA MATEMATICA
Destinatari del bando (of target group)	Experienced researcher or 4-10 yrs (Post-Doc)
Data del bando	28/05/2015

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Permanent
Tempo	Other
Organizzazione/Ente	Università degli Studi di Camerino - Scuola di Scienze e Tecnologie
Paese (dove si svolgerà l'attività)	ITALY
Stato/Provincia	Macerata
Città	Camerino
Codice postale	62032

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Università degli Studi di Camerino
Tipo	Academic
Facoltà/Dipartimento/Laboratorio di ricerca	Scuola di Scienze e Tecnologie - sezione di Matematica
Paese	ITALY
Stato/Provincia	Macerata
Città	Camerino
Codice postale	62032
E-mail	annamaria.antonini@unicam.it
E-mail	anna.silano@unicam.it
E-mail	laura.lesti@unicam.it
Sito web	http://www.unicam.it/servizi_online/cerca_bandi.asp

 

Dettagli per la candidatura

Data di scadenza del bando	13/07/2015
Come candidarsi	Other

 

Titoli di studio richiesti

Laurea	PhD or equivalent
Ambito della laurea	Mathematics

 

Lingue richieste

Lingua	ENGLISH
Livello di conoscenza della lingua	Good