Carlo TOFFALORI CURRICULUM VITAE
annuncio pubblicitario
Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032 Camerino (Italy) [email protected] tel:(+39) 0737-402513 mob: (+39) 328-8604219 fax: (+39) 0737-632525 CURRICULUM VITAE Born in Florence (Italy), July 3, 1953 EDUCATION June 25, 1976, Degree in Mathematics, University of Florence March 21, 1980, Post-degree Master in Mathematics, University of Florence FELLOWSHIPS AND GRANTS February 1977 – October 1979, C. N. R. (Consiglio Nazionale delle Ricerche) Novembre 1979 – September 1981, I. N. D. A. M. (Istituto Nazionale di Alta Matematica) POSITIONS September 1981 – September 1987, Assistant professor, University of Florence September 1987 – October 1989, Associated Professor, University of L’Aquila November 1989 – October 1994, Associated Professor, University of Camerino November 1994 – Present, Professor, University of Camerino APPOINTMENTS Principal Investigator of the Research Project “Model theory and Applications to Algebra, Analysis and Algebraic Geometry”, INDAM GNSAGA, 2001 National Coordinator of the Research Project "Model Theory and Set Theory, their interactions and applications", Italian PRIN 2002, 2002-04 National Coordinator of the Research Project "Logical Methods in Algebra, Analysis and Geometry", Italian PRIN 2004, 2004-06 Scientist in charge of the italian-greek node of MODNET (Marie Curie European Research Training Network "Model Theory and Applications"), 2005-08 Local coordinator of the national Project "Lauree Scientifiche", Mathematics, 2005-07, 2008-09 and 2010-14 National Coordinator of the Research Project "Model Theory, Set Theory and applications", Italian PRIN 2007, 2008-10 National Coordinator of the Research Project “Models and Sets”, Italian PRIN 2009, 201113 National Coordinator of the Research Project “Logic, Models and Sets”, Italian PRIN 2012, 2014-17 President of AILA (Italian Association of Logic and Applications), 2005-08, 2008-2011 and 2011-2014 Member of the Scientific Committee of UMI (Italian Mathematical Association), 2012-2015 and 2015-18 Member of the UMI Italian Committee of Mathematical Education CIIM, 2012-2015 Member of National Board, Mathesis, 2015-2018 Chairman of Department of Mathematics and Physics, University of Camerino, 1998-02 Chairman of Degree in Mathematics, University of Camerino, 1996-98, 2000, 2002 Chairman of Degree in Computer Science, University of Camerino, 2002-04 Coordinator of the Mathematics Division, School of Science and Technology, University of Camerino, 2012-14 INVITED LECTURES EXPOSITORY TALKS, POPULARIZING MATHEMATICS Le giornate di Dante, 750° anniversario della nascita, Licei di Camerino, Camerino, Sala della Muta, December 9, 2015, La matematica di Dante: lo cielo del Sole I 120 anni della Mathesis. La storia dell’insegnamento/apprendimento della Matematica in Italia e la situazione attuale, October 29-31, 2015, Matematica e letteratura Festival della Mente, Sarzana, September 5, 2015, Matematica, algoritmi, libertà Scuola Estiva I temi fondamentali della matematica: algoritmi, numeri, polinhomi, curve, poligoni, Nusco (Avellino), September 2, 2015, Numeri, alef, analogie Scuola Estiva di Logica, Gargano, August 26, 2015, Logica a processo Scuola Estiva di Matematica Mathesis, Telese Terme, July 26-30, 2015, Numeri e segreti Regolarità e modelli. Forme della conoscenza, Summer School in History and Philosophy of Science, UNISER Pistoia, July 14-17, 2015, Numeri, alef, analogie C.O.M.FORT. 2015, Università di Pisa, May 22-23, 2015, Logica a processo Matematica e Letteratura, analogie e convergenze, Università di Salerno, Fisciano, April 1517, 2015, Dostoevskij matematico Logica e Didattica della Matematica, Università di Salerno, Fisciano, April 13-15, 2015, Logica a processo Matematica: il grande spettacolo. Terza grande festa della matematica, Oltremare, Riccione, March 22, 2015, Delitti matematici Mathesis Nazionale, La tavola degli apprendimenti, Liceo Machiavelli, Firenze, March 14, 2015, Aleph con zero, il continuo e Alan Turing π day, ITT Fermi, Ascoli Piceno, March 13, 2015, Da pi greco al calcolatore Biblioteca dell’Archiginnasio, Bologna, February 27, 2015, Tre civette sul comò. Trialogo sulla Matematica (with Piergiorgio Odifreddi and Umberto Bottazzini) Scuola di Alta Educazione, Consorzio Universitario Irpino, Avellino, January 23, 2015, Dostoevskij e la matematica AIRDM Giornata di studio sui corsi di Didattica della Matematica a livello universitario, Pisa, September 27, 2014, Corsi di Didattica nei corsi professionalizzanti post laurea: l’esperienza del TFA Summer School La Matematica incontra le altre scienze, San Pellegrino Terme, September 8, 2014, I problemi della complessità computazionale: i limiti teorici dell’uso del computer Scuola Estiva di Logica, Gargano, August 27, 2014, Lezioni di matematica Scuola Estiva Mathesis, Montegrotto Terme, July 22-25, 2014, Il fascino delle equazioni Siena, Liceo Scientifico Galile, ENIGMATICAmente III, June 7, 2014, Lezioni di matematica Avellino, Liceo Colletta, Scuola di Alta Educazione, June 5, 2014, Lezioni di matematica Convegno Mathesis 2014, Educazione e Cultura Matematica in Italia. Serve ciò che si studia a scuola?, Spoleto, April 10-12, 2014, La cultura e l’apprendimento della matematica tra Indicazioni Nazionali, Esami di Stato, Invalsi, Università e i test (round table conference) Matematica e Democrazia, PRISTEM, Orvieto, April 4-6, 2014, Paradossi e brogli elettorali (with Stefano Leonesi) Liceo Plinio il Giovane, Città di Castello, March 27, 2014, Dall’infinito al robot (e ritorno?) Caffè Filosofico, Tolentino, February 26, 2014, Matematica, verità, infinito Mathesis Firenze, January 29, 2014, L’arte di uccidere i draghi. Le vie matematiche della morale Insiemi, linguaggi, dimostrazioni (Una giornata di studio in onore di Gabriele Lolli), Torino, Accademia delle Scienze, December 13, 2013, Lezioni di matematica Oltre il compasso, Verona, Liceo Messedaglia, December 6, 2013, Matematica e libri gialli Summer School Incontriamo la Matematica, la Statistica e la Fisica, San Pellegrino Terme, September 4, 2013, La misteriosa incalcolabilità del mondo Scuola Estiva di Logica, Gargano, August 28, 2013, Matematica o teologia? Ascoli, Scuola di Architettura e Design, Forme dello spazio – Dialoghi tra Architettura, Arte e Scienze, June 27, 2013, Informazione e forma in matematica Siena, Liceo Scientifico Galilei, ENIGMATICAmente II, May 20, 2013, Matematica e fantasia Cesenatico, Olimpiadi Nazionali di Matematica, XXIX edizione, May 9-12, 2013, Dall’infinito al robot (e ritorno?) Recanati, ITIS Mattei, April 11, 2013, Numeri e crittografia Avellino, Liceo Colletta, Scuola di Educazione, April 3, 2013, Il paradosso di Zenone: da Aristotele a Kierkegaard (e oltre) Ancona, Liceo Galilei, Giornate matematiche USR Marche, March 22, 2013, Matematica e dintorni. In viaggio col Piano Lauree Scientifiche Giulianova, Liceo Statale Marie Curie, Luci sulla Scienza III, January 21, 2013, Numeri e crittografia Pavia, Collegio Nuovo, November 19, 2012, Scienza e narrativa (with Alessio Palmero Aprosio and Marco Cagnotti) Porto S. Elpidio, Math & Co, la matematica tra arte e gioco, November 9, 2012, Il fascino delle equazioni Senigallia, IIS A. Panzini, USR Marche, Il percorso dell’istruzione tecnica e professionale nella Regione Marche, November 8, 2012, Piano lauree scientifiche: il ruolo della didattica laboratoriale Camerino, Collegio Bongiovanni, Opening of the Academic Year 2012-13, October 23, 2012, Viaggio tra matematica e fede Rovigo, Congresso Nazionale Mathesis 2012, October 18-20, 2012, L’arte di uccidere i draghi (with Stefano Leonesi) Poggibonsi, Comunicare la Scienza, May 17, 2012, Sherlock Holmes, Maigret, Don Giovanni e la matematica Camerino, Tre passeggiate nella Matematica, Banca del Tempo Stella, May 9, 2012, Il fascino delle equazioni Camerino, Tre passeggiate nella Matematica, Banca del Tempo Stella, April 18, 2012, Matematica in letteratura Camerino, Happy Numbers 2012, Non solo anniversari, April 4, 2012, Matematica e libertà Venezia, Matematica e Cultura 2012, March 30-April 1, 2012, Un gioco al crepuscolo – Matematica e letteratura Civitanova Marche, Genius Loci 2012, Pinacoteca Moretti, February 20, 2012, L’aritmetica di Cupido. La matematica chiave di lettura di pagine celebri della letteratura Settimana culturale, Liceo Filelfo (Tolentino), January 24, 2012, Un gioco al crepuscolo Settimana culturale, Liceo Filelfo (Tolentino), January 24, 2012, Un gioco dell’aria (per dir così) Piacenza, Liceo San Benedetto, January 13, 2012, Matematica in giallo Crittografia quantistica: nuove prospettive per la sicurezza delle comunicazioni, Jesi, October 13, 2011, Crittogrammi Summer School Incontriamo la Matematica, la Statistica e la Fisica, San Pellegrino Terme, September 5, 2011, Dall’infinito al robot (e ritorno?) Scuola Estiva di Logica AILA, Gargnano, August 23, 2011, Un gioco al crepuscolo Settimana della Scienza e della Tecnica, ITIS Merloni – IPSIA Milani, Fabriano, May 25, 2011, Matematica, Scienza e Informatica: un esempio da coniugare (con Sonia L’Innocente) Ascoli, May 13, 2011, Presentazione del libro L’aritmetica di Cupido Matematica e Statistica – PLS (Per lasciare il segno), Salerno, April 29, 2011, Un gioco al crepuscolo Camerino, March 23, 2011, Presentazione del libro L’aritmetica di Cupido Settimana culturale, Liceo Filelfo (Tolentino), January 25, 2011, Il matematico in giallo Settimana culturale, Liceo Filelfo (Tolentino), January 25, 2011, Dall’infinito al robot (e ritorno?) Logica, linguaggio e didattica della matematica, Salerno (Fisciano), November 24-27, 2010, Lezioni di Logica attraverso i classici Scienza e trascendenza, Camerino, November 9, 2010, I numeri e l’esistenza di Dio Matematica informale, Libreria Mondadori, Civitanova Marche, October 22, 2010, L’algebra sotto il braccio Ravello Festival 2010, Ravello, August 5, 2010, La matematica divina pazzia (con Carlo Sbordone) ITIS Merloni, Fabriano, June 14, 2010, Dall'infinito al robot (e ritorno?) Liceo Scientifico Rosetti, San Benedetto del Tronto, April 21, 2010, Numeri e misteri: l'Ultimo Teorema di Fermat Liceo Classico Leopardi, Macerata, April 21, 2010, Matematica e letteratura Convegno Mathesis 2010, Livorno, April 16, 2010, Mathesis a Camerino Matematica e cultura, Scuola Normale Superiore, Pisa, April 15, 2010, Matematica e investigazione Progetto diffusione della cultura scientifica, Vediamo un film assieme, Modena, March 1, 2010, Schemi di ragionamento e storie gialle Liceo Leopardi, Recanati, February 25, 2010, Numeri e crittografia Istituto Corridoni, Osimo, February 25, 2010, Tra la terra e il cielo Liceo Varano, Camerino, January 19, 2010, Appunti di metamorale Liceo Varano, Camerino, January 12, 2010, Matematica e letteratura Matematica, etica e pace, Camerino, November 11, 2009, Appunti di metamorale Matematica + ..., Mathesis, Sezione Tartaleana, Brescia, October 29, 2009, Matematica + gialli: fini deduzioni e ragionamenti di poliziotti e delinquenti Summer School Incontriamo la Matematica e la Fisica nelle applicazioni, S. Pellegrino Terme, September 8, 2009, Tra matematica e letteratura Tuttoingioco, Civitanova Marche, August 14, 2009, Matematica in giallo 63-mo Corso di Orientamento Universitario, Campitello Matese, SNS Pisa, July 21-27, 2009, Logica Matematica: dall'infinito al computer (e ritorno?) Liceo Scientifico Filelfo, Tolentino, April 2, 2009, Tra la terra e il cielo Liceo Scientifico Rosetti, San Benedetto, March 25, 2009, Matematica e letteratura Sistemi dinamici e resto del mondo, Camerino, March 19, 2009, Tra la terra e il cielo Liceo Scientifico Varano, Camerino, March 17, 2009, Numeri e crittografia Liceo Scientifico Stelluti, Fabriano, March 12, 2009, La Matematica dell'infinito ScienzeScuola 2009, Museo del Balì, Saltara, March 10-11, 2009, Matematica e letteratura Liceo Classico Stabili, Ascoli Piceno, March 4, 2009, Matematica e letteratura Liceo Scientifico Stelluti, Fabriano, February 26, 2009, Matematica in giallo Mathesis, Firenze, February 11, 2009, Matematica in giallo Liceo Scientifico Galileo Galilei, Macerata, January 30, 2009, La matematica dell'infinito Liceo Scientifico Leonardo da Vinci, Jesi, January 9, 2009, Matematica e letteratura Liceo Scientifico Giacomo Leopardi, Recanati, January 9, 2009, Matematica e letteratura Liceo Classico Stabili, Ascoli, December 3, 2008, La matematica dell'infinito Liceo Scientifico Corridoni Campana, Osimo, December 3, 2008, Matematica e letteratura KITE, Bioindustry Park, Colleretto Giacosa, December 1, 2008, Matematico, Watson! Un'indagine scientifica sui romanzi polizieschi Incontro con la Matematica, Fermo, Scuola Secondaria Fracassetti/Betti, September 23, 2008, Matematica e laboratori: l'esperienza del Progetto Lauree Scientifiche Settembre Feltrinelli, Firenze, September 19, 2008, Matematico in giallo Festival della Scienza, Perugia, September 12, 2008, Matematico in giallo Festival dei Saperi, Linguaggi della Creatività: Matematica e Musica, Pavia, September 4, 2008, Matematico in giallo Summer School Incontrare la Matematica e la Fisica, S. Pellegrino Terme, September 2, 2008, Matematica in giallo Logica Matematica, Costruzione dei concetti e processi socio-cognitivi, Salerno, June 30July 3, 2008, Deduzione ed indizi The Case and the Canon, Urbino-Senigallia, June 26-28, 2008, Round table on The Scientist as Detective/The Detective as Scientist Progetto Gutenberg 6, In viaggio con Erodoto, Catanzaro, Liceo Classico Galluppi, May 29, 2008, Viaggio nelle ma-tematiche del giallo Palazzo Comunale, Cingoli, May 8, 2008, Matematica in giallo Liceo Scientifico Rosetti, San Benedetto del Tronto, May 7, 2008, Il matematico in giallo A qualcuno piace giallo, Brescia, April 14, 2008, Interview on Il matematico in giallo Elementare, è scienza, Roma, Teatro Palladium, Radio3 Scienza, April 3, 2008 Liceo Scientifico Leopardi, Recanati, March 27, 2008, Matematica in giallo Belgirate XI, Portobuffolé, February 22-24, 2008, Storie di cardinali: da Cantor a Gödel e Turing attraverso Borges Matefitness, Genova, February 22, 2008, Matematica in giallo Summer School Incontrare la Matematica e la Fisica, S. Pellegrino Terme, September 3, 2007, Da Turing al Mago Merlino Teoria dell'Informazione, percorsi transdisciplinari, Camerino, June 7-8, 2007, Calculemus Incontri di Matematica, Camerino, April 11-12, 2007, Reminiscenze di Gödel leggendo Borges San Benedetto del Tronto, Opening of the Exhibition on the History of Infinitesimal Calculus, January 15, 2007, Infinitesimi: solo fantasmi? Die Wirkung von Kurt Gödel auf die Logik, Philosophie und Mathematik, Giessen, Mathematikum, November 9, 2006, True or provably true? Gödel in detective stories Summer School Incontrare la Matematica, S. Pellegrino Terme, September 5, 2006, Matematica, miracoli e paradossi La Complessità di Gödel, Torino, April 26-28, 2006, Vero o dimostrabile: Gödel nella letteratura poliziesca Matematici e Filosofi si incontrano - II, Modena, April 9, 2006, Matematica, miracoli e paradossi (with Corrado Mangione) Teramo (Università), November 24, 2005, Da Turing al Mago Merlino Natural processes and models of computation, Bologna, June 16-18, 2005, The cost of computing Matematici e Filosofi si incontrano, Modena, April 13, 2005, Evoluzione del concetto di computabilità (with Federico Laudisa and Giacomo Mauro D'Ariano) Milano (Università Bicocca), November 5, 2004, Da Turing al Mago Merlino: evoluzioni nell’informatica teorica Foundations of Quantum Information, Camerino, April 16-19, 2004, Testing primality deterministically L’Infinito in Matematica, Fisica e Filosofia, Pisa (Domus Galilaeana), March 26, 2004, La Matematica dell’Infinito AILA, Scuola Estiva di Logica, Cesena, September 23-27, 2002, 50 anni di Teoria dei Modelli RESEARCH TALKS Model Theory Day, Caserta, Università di Napoli 2, November 19-20, 2015, Some model theory of modules over algebraic integers Manchester, University, School of Mathematics, December 3. 2014, Modules over Bézout domains: A model theoretic approach Algebraic Structures and Their Applications, Spineto, June 16-20, 2014, Some model theory of modules over Bézout domains Some Trends in Algebra 2013, Prague, Charles University, September 3-6, 2013, Some model theory of modules over Bézout domains Model theory days, Konstanz, University, December 6-8, 2012, On the model theory of modules over Bézout domains Oxford, University Mathematical Institute, June 2, 2011, Generalized lattices over Dedekind-like rings International Algebraic Conference (in honour of A. Yakovlev), St. Petersburg, June 19-24, 2010, Torsion free pure-injective modules over the integral group ring of the Klein group (given by G. Puninski on a joint paper) Incontro di Logica (in honour of Annalisa Marcja), Firenze, May 6-7, 2010, Spectra, models and modules Model Theory Day, Camerino, June 12, 2008, Two or three things I am assumed to know XXIII AILA Meeting, Genova, February 20-23, 2008, Untitled Mons, Université Mons-Hainaut, February 8, 2008, The model theoretic complexity of modules over commutative Noetherian rings Incontro Italiano di Insiemi e Modelli, Torino, April 2-4, 2007, Modelli e moduli Model Theory Meetings, Mons-Hainaut University, January 21-23, 2007, The Krull-Gabriel dimension of group algebras and integral group rings Londra, QMUL, November 23, 2006, Superdecomposable modules over group rings Caserta, Università Napoli II, October 5, 2006, Moduli superdecomponibili su anelli gruppali Second Vienna-Florence Workshop in Logic and Computation, Firenze, November 2-3, 2005, The algebraic content of decidability of modules Gdansk, Polytechnic, September 6, 2005, Model Theory today: An outline XXII AILA Meeting, Pisa, February 10-13, 2005, Verso la classificazioni dei moduli puri iniettivi sugli anelli gruppali Nonstandard models of Arithmetic and Analysis, Pisa, November 25-26, 2004, Nonstandard aspects in Model Theory of Modules I Florence-Vienna workshop in Logic and Computation, Firenze, January 27-30, 2004, Model theory today: An outline Workshop in Model Theory of Modules, Lima (Ohio), May 17, 2003, On the model theory of modules over group rings II International workshop on History and Philosophy of Logic, Mathematics and Computability, S. Sebastian, November 7-9, 2002, tutorial Main features of Model Theory today Model Theoretic Algebra and Computational Methods in Algebra, Edimburgh, September 4-12, 2000, On the model theory of modules over group rings XVIII Incontro di Logica Matematica, Pontignano (Siena), Apri, 1998, Perché Hrushovski e Wilkie hanno vinto gli ultimi premi Karp Meeting on Model Theory and Groups, Manchester, June 8, 1996, Wildness implies undecidability for lattices over group rings 10th International Congress of Logic, Methodology and Philosophy of Science, Firenze, August 19-25, 1995, AILA-KGS Meeting in Model theory, Decidability problems for modules Sixth European Summer School in Logic, Language and Information, Copenhagen, August 15-19, 1994, Selected Topics in Model Theory Logic and Combinatorics of Unary Functions and Related Structures, Leipzig, March 28-30, 1994, Stability theory for 1-ary functions XV Incontro di Logica Matematica, Camerino, April 22-24, 1992, tutorial Decidability for theories of modules Stability in Model Theory III, Trento, June 17-21, 1991, Stability for Abelian-by-finite groups Effectiveness in Algebra and Logic, Cortona, October 8-12, 1990, Undecidable theories of modules Logic Colloquium 84, Manchester, July 15-24, 1984, p-aleph_0-categorical structures MISCELLANEOUS ORGANIZATION OF CONFERENCES AND WORKSHOPS Coherence and Truth. In memoriam Franco Montagna, Certosa di Pontignano, Siena, December 16-18, 2015 Happy numbers 2015 – Aperitivi di Matematica. Matematica, Cultura e Società, Camerino, October 14-28, 2015 Un grande marchigiano: Vito Volterra. 1915-2015 tra matematica, guerra e pace, Camerino, September 20 and October 7, 2015 Scuola estiva di Logica, Gargnano, Palazzo Feltrinelli, August 24-29, 2015 Matematica e Letteratura, analogie e convergenze, Università di Salerno, Fisciano, April 15-17, 2015 XXXII Convegno UMI-CIIM. Il valore formativo della matematica nella scuola di oggi, Livorno, October 16-18, 2014 Scuola estiva di Logica, Gargnano, Palazzo Feltrinelli, August 25-30, 2014 Model theory and applications, Special Session, First Joint International Meeting RSMESCM-SEMA-SIMAI-UMI, Bilbao, June 30 - July 4, 2014 (with Enrique Casanovas) XXV Incontro AILA, Pisa, SNS, April 14-17, 2014 Happy numbers 2014 – Aperitivi di Matematica, Camerino, March 26-May 14, 2014 Model theory days, Camerino, October 14-15, 2013 Matematica e IMMAGINazione, Camerino, September 26-October 30, 2013 Scuola estiva di Logica, Gargnano, Palazzo Feltrinelli, August 26-31, 2013 Model theory 2013, Ravello, June 10-15, 2013 Happy numbers 2013 – Aperitivi di Matematica, Camerino, April 16-May 8, 2013 Matemagie – Matematica al computer, Camerino, October 3-November 21, 2012 Filosofia della matematica: dalla logica alla pratica, Pisa, Scuola Normale Superiore, September 24-26, 2012 Scuola estiva di Logica, Gargnano, Palazzo Feltrinelli, August 20-25, 2012 Model theory in Algebra, Analysis and Arithmetic, CIME course, Cetraro, July 2-7, 2012 (with Dugald Macpherson) Happy numbers 2012 – Aperitivi di Matematica, Non solo anniversari, Camerino, MarchMay 2012 History and Philosophy of computing, Ghent, Het Pand – Ghent University, November 7-10, 2011 Matematica tricolore – Storie di matematica italiana da Fibonacci ai nostri giorni, Camerino, October 5-November 9, 2011 Scuola estiva di Logica, Gargnano, Palazzo Feltrinelli, August 22-27, 2011 Happy numbers – Aperitivi di Matematica, Camerino, March-May 2011 XXIV Meeting of AILA Italian Association of Logic and its Applications, Bologna, February 2-4, 2011 Logica, linguaggio e didattica della matematica, Salerno, November 24-27, 2010 Scienza e trascendenza, Camerino, October 26/27 and November 9, 2010 Scuola Estiva di Logica, Gargnano, Palazzo Feltrinelli, August 30-September 4, 2010 Happy numbers- Aperitivi di Matematica, Camerino, April-May 2010 Matematica, etica e pace, Camerino, November 11, 18 and 30, 2009 Quale logica per la didattica, Verona, October 23-25, 2009 Happy numbers - Aperitivi di Matematica, Camerino, April 7 and 15, May 13 and 20, October 21, 2009 Matematica per assurdo: due giornate sull'insegnamento della Matematica, Camerino, November 19 and 25, 2008 Logica Matematica, costruzione dei concetti e processi socio-cognitivi, Salerno, June 30July 3, 2008 Model Theory Day, Camerino, June 12, 2008 XXIII Meeting of AILA Italian Association of Logic and its Applications, Genova, February 20-23,2008 Special Session of Model Theory and Application, Joint UMI-DMV Meeting Perugia, June 21-22, 2007 MODNET Summer School, Camerino, June 18-21, 2007 Model theory and Algebra, Camerino, June 14-16, 2007 Opening stage of the Exhibition on the History of Infinitesimal Calculus, San Benedetto del Tronto, January 14-15, 2007 Logic, Models and Computer Science (in memory of Sauro Tulipani) Camerino, April 1922, 2006 Matematici e filosofi si incontrano II, Modena, March 28, April 6, May 3, 2006 Model Theory Day, Camerino, March 22, 2006 Twenty-first Meeting of AILA Italian Association of Logic and its Applications, Pisa, February 2005 XV Meeting of AILA Italian Association of Logic and its Applications, Camerino, April 2125, 1992 ARTICLE REVIEWS Mathematical Reviews, Zentralblatt f. Mathematik. JOURNALS REFEREED Journal of Symbolic Logic, Mathematical Logic Quarterly, Communications in Algebra, Illinois Journal of Mathematics, Archive of Mathematical Logic, Trends in Logic, Bollettino Unione Matematica Italiana, Archimede, TASK Quarterly, LICS06, Journal of Algebra and its Applications GUEST EDITOR TASK Quarterly, Volume 9 (2005), Number 3 (Logic and Computer Science) Electronic Notes in Theoretical Computer Science, Proceedings of the workshop Logic, Models and Computer Science, in memory di Sauro Tulipani, Camerino, April 19-22, 2006 Mathematical Structures in Computer Science, Volume 18, 1 (2008), Special issue devoted to the memory of Sauro Tulipani, Camerino, April 19-22, 2006 EDITOR (with H. D. Macpherson) L. van den Dries-J. Koenigsmann-H. D. Macpherson-A. Pillay-C. Toffalori-A. Wilkie, Model Theory in Algebra, Analysis and Arithmetic, Lecture Notes in Mathematics 2111, CIME Foundation Subseries, Springer, 2014 TEACHING EXPERIENCE 2014-15, University of Camerino Degree in Mathematics: Algebra and Logic; Numbers and Cryptography Degree in Computer Science: Linear Algebra; Computability and Complexity 2013-14, University of Camerino Degree in Mathematics: Algebra and Logic; Galois Theory Degree in Computer Science: Linear Algebra, Theory of Computation (Complexity Theory) Degree in Veterinarian Science: Basic Mathematics PAS: Didattica di Algebra e Logica 2012-13 and 2011-12, University of Camerino Degree in Mathematics: Algebra and Logic; Numbers and Cryptography Degree in Computer Science: Logic, Theory of Computation (Complexity Theory) 2010-11, University of Camerino Degree in Mathematics: Logic, Numbers and Cryptography Degree in Computer Science: Mathematical Logic, Theory of Computation (Complexity Theory) 2009-10, University of Camerino Degree in Mathematics: Logic, Numbers and Cryptography Degree in Computer Science: Mathematical Logic, Theory of Computation (Complexity Theory) 2008-09, University of Camerino Degree in Mathematics: Mathematical Logic. Codes and Cryptography, Advanced Algebra (Galois Theory) Degree in Computer Science: Basic Theoretical Computer Science (Computability Theory), Theoretical Computer Science (Complexity Theory) 2007-08, University of Camerino Degree in Mathematics: Mathematical Logic. Codes and Cryptography Degree in Computer Science: Basic Theoretical Computer Science (Computability Theory), Theoretical Computer Science (Complexity Theory) 2006-07 and 2005-06, University of Camerino Degree in Mathematics: Advanced Algebra (Galois Theory), Mathematical Logic. Codes and Cryptography Degree in Computer Science: Basic Theoretical Computer Science (Computability Theory), Theoretical Computer Science (Complexity Theory) 2004-05, University of Camerino Degree in Mathematics: Basic Mathematical Logic, Mathematical Logic, Codes and Cryptography Degree in Computer Science: Mathematical Logic, Theoretical Computer Science (Complexity Theory) 2003-04, University of Camerino Degree in Mathematics: Basic Mathematical Logic, Mathematical Logic, Codes and Cryptography Degree in Computer Science: Mathematical Logic, Theoretical Computer Science (Complexity Theory) PhD in Mathematical Logic and Theoretical Computer Science (Siena + Florence + Camerino): Model Theory 2002-03, University of Camerino Degree in Mathematics: Basic Mathematical Logic, Mathematical Logic, Codes and Cryptography Degree in Computer Science: Mathematical Logic 1989-90 ----> 2001-02, University of Camerino Degree in Mathematics: Algebra, Linear Algebra, Mathematical Logic, Number Theory 1987-88 ----> 1988-89, University of L’Aquila Degree of Mathematics: Mathematical Logic 1976-77 ----> 1986-87, University of Florence Degree of Biology: Complements of Calculus Degree of Mathematics: Complements of Algebra, Complements of Mathematical Logic 1993, 1995 ----> 1998, 2000, 2002 University of Siena PhD in Mathematical Logic and Theoretical Computer Science: Model Theory 1998-99 ----> 2002-03, University of Macerata Scuola di Specializzazione Insegnamento Secondario SSIS: Mathematical Logic, History of Mathematics, Didactics of Algebra. PUBLICATIONS WORK IN PROGRESS EXPOSITORY PAPERS, POPULARIZING MATHEMATICS [LT15] S. Leonesi-C. Toffalori, Logica a processo [T15] C. Toffalori, Aleph con zero, il continuo e Alan Turing RESEARCH PAPERS [BT] A. Berarducci-C. Toffalori, Le direzioni della Logica in Italia: la Teoria dei Modelli, in: H. Hosni, G. Lolli, C. Toffalori (editors), Le direzioni della Logica in Italia, Edizioni della Normale, Pisa, 2015, to appear BOOKS ---------------------------- BOOKS 2015 [To15] C. Toffalori, Algoritmi, Il Mulino, Bologna 2014 [MT] L. van den Dries-J. Koenigsmann-H. D. Macpherson-A. Pillay-C. Toffalori-A. Wilkie, Model Theory in Algebra, Analysis and Arithmetic, H.D. Macpherson e C. Toffalori editors, Lecture Notes in Mathematics 2111, CIME Foundation Subseries, Springer 2013 [LT13] S. Leonesi, C. Toffalori, L’arte di uccidere i draghi. Le vie matematiche della morale, I libri del Pristem, Università Bocconi, Milano 2012 [To12a] C. Toffalori, Numeri in giallo, Mimesis 2011 [To11a] C. Toffalori, L’aritmetica di Cupido. Matematica e letteratura, Guanda (Parma) 2008 [T08] C. Toffalori, Il matematico in giallo, Guanda (Parma) 2007 [LT07] S. Leonesi-C. Toffalori, Matematica, miracoli e paradossi, Bruno Mondadori (Milano) 2006 [LT06a] S. Leonesi-C. Toffalori, Numeri e Crittografia, Springer Italia (Milano) [LT06b] S. Leonesi-C. Toffalori, Un invito all'Algebra, Springer Italia (Milano) 2005 [CLMT05] F. Corradini-S. Leonesi-S. Mancini-C. Toffalori, Teoria della Computabilità e della Complessità, McGraw-Hill Italia (Milano) 2003 [MT03] A. Marcja-C. Toffalori, A Guide to Classical and Modern Model Theory, Trends in Logic, Kluwer (Dordrecht) 2000 [CT00] C. Toffalori-P. Cintioli, Logica Matematica, McGraw-Hill Italia (Milano) 1998 [MT98] A. Marcja-C. Toffalori, Introduzione alla Teoria dei Modelli, Pitagora (Bologna) PAPERS (P = popularizing mathematics, R = research, E = expository papers) 2015 [LT15] S. Leonesi-C. Toffalori, Ricordando Condorcet, in A. Guerraggio (ed.), Matematica e democrazia, Pristem/Storia 39-40, Centro Pristem Bocconi/Egea, 183-206, E [MT] S. Mancini-C. Toffalori, Crittografia: dai bit ai qubit, Xlatangente online 2 (2015), 20-23, http://www.xlatangente.it/upload/files/XlaT_online/02/index.html, P [PT15] G. Puninski-C. Toffalori, Model theory of modules over Bézout domains. The width, J. Pure Applied Algebra 219, 807-829, R [TT1] A. I. Telloni-C. Toffalori, Dostoevskij matematico (parte I), Lettera Matematica Pristem 93, 56-64. English Version: Dostoyevsky as mathematician (part I), Lettera Matematica 3 (3), 147-155 2014 [BT] S. Benvenuti-C. Toffalori, La forma della bellezza (geometrie non euclidee/matematica, arte, architettura e design), in G. Anzellotti-L.M. Catena- M. Catti-U. Cosentino-J. Immè, N. Vittorio (ed.), L’insegnamento della Matematica e delle Scienze nella società della conoscenza, A. Mondadori, Milano, 295-300, E [MT] H. D. Macpherson-C. Toffalori, Model Theory in Algebra, Analysis and Arithmetic: A Preface, in L. van den Dries-J. Koenigsmann-H. D. Macpherson-A. Pillay-C. Toffalori-A. Wilkie, Model Theory in Algebra, Analysis and Arithmetic, Lecture Notes in Mathematics 2111, CIME Foundation Subseries, Springer, 1-11, R [PT14] G. Puninski-C. Toffalori, Decidability of modules over a Bézout domain D + X Q[X] with D a principal ideal domain and Q its field of fractions, J. Symbolic Logic 79, 296-305, R [To14a] C. Toffalori, I paradossi dell’infinito, in Mateinitaly. I matematici alla scoperta del futuro, Egea Milano, 71-75, P [To14b] C. Toffalori, Due parole sui sillogismi, Periodico di Matematiche IX-6, 23-46 [TT] A. Telloni-C. Toffalori, Lezioni di matematica, La Matematica nella Società e nella Cultura, Rivista UMI, 7, 31-54, P 2013 [To13a] C. Toffalori, A play at dusk. Mathematics in literature, in Imagine Math 2. Between Culture and Mathematics (M. Emmer editor), Springer, 39-48, P [To13b] C. Toffalori, Due parole sull’ipotesi del continuo, Periodico di Matematiche 5, Serie XI, 37-43, E [To13b] C. Toffalori, Alfred Tarski, APhEX 8 (Portale Italiano di Filosofia Analitica, www.aphex.it), Profili, 53 pp., E [LPT13a] S. L’Innocente-F. Point-C. Toffalori, Model theory of the logarithmic function in compact Lie groups, J. Algebra and its Applications 12, No. 8, pp. 22, R [LPT13b] S. L’Innocente-F. Point-C. Toffalori, Exponentiations over the quantum algebra U_q(sl_2(ℂ)), Confluentes Mathematici 5, No. 2, 45-69, R [PPT13] P. Prihoda-G. Puninski-C. Toffalori, Pure projective torsion free modules over Bass domains, J. Pure Applied Algebra 217, 757-762, R [GTV] M. Guidi-C. Toffalori-S. Valentini, Matematica ENIGMATICAmente, Archimede 3/2013, 115-120. P in gioco: l’esperienza di 2012 [LT12] S. Leonesi-C. Toffalori, La misteriosa incalcolabilità dell’anima. I fondamenti matematici della morale, Periodico di Matematiche 4, Serie XI (2012), 79-94, P [To12a] C. Toffalori, Un gioco al crepuscolo, Logica, linguaggio e didattica della matematica (a cura di G. Gerla, C. Coppola, T. Pacelli, Franco Angeli, Milano, 217-236, P [To12b] C. Toffalori, On the pure injectivity of certain infinitely generated modules over Dedekind domains, Comm. Algebra 40 (2012), 2358-2372, R [To12c] C. Toffalori, Quadrando il circolo: la matematica di Thomas Mann, Lettera Matematica Pristem 82, 20-28, P 2011 [PT11a] G. Puninski-C. Toffalori, The torsion-free part of the Ziegler spectrum of the Klein four group, J. Pure Applied Algebra 215, 1791-1804, R [To11b] C. Toffalori, Un gioco dell’aria (per dir così), Lettera Matematica Pristem 77, 16-20, P [To11c] C. Toffalori, Teorie e modelli - Ricordo di Corrado Mangione, La ricerca logica in Italia. Studi in onore di Corrado Mangione, Quaderni di Acme 124, Cisalpino, Milano, 151-154, E [To11d] C. Toffalori, Aspettando Achille, Periodico di Matematiche 3 (XI), 41-51, P 2010 [To10a] C. Toffalori, La matematica cultura umanistica? Riflessioni sulle Indicazioni Nazionali per il nuovo Liceo Classico, Periodico di Matematiche 3 (2010), 27-44, P [To10b] C. Toffalori, Matematico e investigatore, in: G. Gerla (ed.), Logica matematica e processi cognitivi, Proceedings of a workshop on Logica matematica, costruzione dei concetti e processi socio-cognitivi, Salerno, June 30-July 3, 2008, Rubbettino, 2010, 117-123 [LT10] S. Leonesi-C. Toffalori, I delitti di Fermat, Archimede LXII, 137-141, P [TV10] C. Toffalori-K. Vozoris, On the complex exponentiation restricted to the integers, J. Symbolic Logic 75, 955-970, R 2009 [PT09] G. Puninski-C. Toffalori, Towards the decidability of the theory of modules over finite commutative rings, Ann. Pure Applied Logic, 159, 49-70, R [T09a] C. Toffalori, Reminiscenze di Gödel leggendo Borges, Lettera Matematica Pristem 72, 1423, P [T09b] C. Toffalori, Pirandello, Flatlandie, triangoli e libertà, Archimede LXI, 136-142, P [To9c] C. Toffalori, Morte al club Fermat, Lettera Matematica Pristem 73, 16-22, P [TV09] C. Toffalori-K. Vozoris, Notes on local o-minimality, Math. Logic Quarterly 55, 617-632, R 2008 [CT08a] F. Corradini - C. Toffalori, Preface to the special issue devoted to the memory of Sauro Tulipani, Mathematical Structures in Computer Science 18, 1-4, E [LPT08] S. L'Innocente-V. Puninskaya-C. Toffalori, Minimal modules over serial rings, Comm. Algebra 36, 2750-2763. R [PPT08] G. Puninski-V. Puninskaya-C. Toffalori, Krull-Gabriel dimension and the model-theoretic complexity of the category of modules over group rings of finite groups, J. London Math. Society 78, 125-142, R [PuT08] V. Puninskaya-C. Toffalori, Superdecomposable pure injective modules over commutative Noetherian rings, J. Algebra and Applications 7 (6), 809-830, R [T08a] C. Toffalori, Vero o dimostrabile? Gödel nella letteratura di evasione in La complessità di Godel (a cura di G. Lolli e U. Pagallo), Giappichelli, Torino, 143-166, P [T08b] C. Toffalori, I numeri perfetti e S. Agostino, Archimede LX, 75-83, P 2007 [LLT07a] S. Leonesi-S. L’Innocente-C. Toffalori, Un problema del millennio, Lettera Matematica Pristem 65. 23-34, P [T07a] C. Toffalori, La completezza, Lettera Matematica Pristem 62-63, 9-23 (special issue devoted to Kurt Gödel), P [PPT07a] G. Puninski-V. Puninskaya-C. Toffalori, Decidability of the theory of modules over discrete valuation domains, Annals Pure Applied Logic 145, 258-275, R [LT07a] S. Leonesi-C. Toffalori, Da Leibniz al Mago Merlino: evoluzioni del concetto di computabilità in matematica e in informatica, Lettera Matematica Pristem 60, 24-35, P 2006 [ALT06b] I. Antolini-S. Leonesi-C. Toffalori, Come contano i roditori - II, Lettera Matematica Pristem 59, 35-43, P [ALT06a] I. Antolini-S. Leonesi-C. Toffalori, Come contano i roditori - I, Lettera Matematica Pristem 56, 19-25, P [CT06] S. Cittadini-C. Toffalori, On pairs of torsionfree modules over Dedekind domains, Arch. Math. Logic 45, 75-95, R [LPT06] S. L’Innocente-V. Puninskaya-C. Toffalori, Minimalities and modules over Dedekind-like rings, Comm. Algebra 34, 2453-2466, R [PPT06] G. Puninski-V. Puninskaya-C. Toffalori, Superdecomposable pure-injective modules and integral group rings, J. London Math. Soc.73, 48-64, R 2005 [T05] C. Toffalori, Testing primality deterministically, Int. J. Quantum Inform. 3, 269-273, E [LLT05a] S. Leonesi-S. L’Innocente-C. Toffalori, Teoria dei Modelli, cultura (e società?), Boll. Un. Mat. Ital.(8) 8-A, 149-178 , E [LLT05b] S. Leonesi-S. L’Innocente-C. Toffalori, Weakly minimal modules over integral group rings and over related classes of rings, Math. Logic Quart. 51, 613-625, R [LPT05a] S. L’Innocente-V. Puninskaya-C. Toffalori, Strongly minimal modules over group rings, Comm. Algebra 33, 2089-2107, R [LT05a] S. Leonesi-C. Toffalori, Filling certain cuts in Discrete Weakly o-minimal Structures, Math. Logic Quart. 51, 148-153, R [LT05b] S. Leonesi-C. Toffalori, Logic, primes and computation: A tale of unrest, TASK Quarterly 9, 273-291, E [PT05] V. Puninskaya-C. Toffalori, Vaught’s Conjecture and Group Rings, Comm. Algebra 33, 4267-4281, R 2004 [LT04] S. Leonesi-C. Toffalori, On the Boolean algebras of definable sets in weakly o-minimal theories, Math. Logic Quart. 50, 241-248, R [LLMT04] S. Leonesi-S. L’Innocente-M. Marconi-C. Toffalori, Primi e segreti, Lettera Matematica Pristem, 52, 10-20, P [LLT04a] S. Leonesi-S. L’Innocente-C. Toffalori, Cinquanta anni di Teoria dei Modelli, Boll. Un. Mat. Ital. (8) 7-A, 347-381, S [LLT04b] S. Leonesi-S. L’Innocente-C. Toffalori, A note on elimination of imaginaries in pairs of fields, Note Matematica 22, 89-97, R 2003 [MPT03] A. Marcja-M. Prest-C. Toffalori, The torsionfree part of the Ziegler spectrum of R[G] when R is a Dedekind domain and G is a finite group, J. Symbolic Logic 67, 1126-1140, R [LT03a] S. Leonesi-C. Toffalori, w-categorical weakly o-minimal expansions of Boolean lattices, Math. Log. Quart. 49, 394-400, R [LT03b] S. Leonesi-C. Toffalori, Il problema del continuo, Archimede, 79-85, P [LTT03] S. Leonesi-S. Tordini-C. Toffalori, La Matematica dell’Infinito, Lettera Mathematica Pristem 48, 37-48, P [T03] C. Toffalori, La matematica dei libri gialli, Lettera Matematica Pristem 49, 11-22, P 2002 [CT02a] S. Cittadini-C. Toffalori, Comparing first order theories of modules over group rings, Math. Log. Quart. 48, 147-156, R [CT02b] S. Cittadini-C. Toffalori, Comparing first order theories of modules over group rings II: Decidability, Math. Logic Quart. 48, 483-498, R [MT02] A. Marcja-C. Toffalori, Decidability for Z_2[G]-lattices when G extends the noncyclic group of order 4, Math. Log. Quart. 48, 203-212, R [LTT02] S. Leonesi-S. Tordini-C. Toffalori, Matematica, miracoli e paradossi, Lettera Mathematica Pristem 46, 31-42, P [LT02a] S. Leonesi-C. Toffalori, La matematica delle spie I – Dalla crittografia classica a quella a chiave pubblica, Periodico di Matematiche VIII 2 (2), 45-56, P [LT02b] S. Leonesi-C. Toffalori, La matematica delle spie II – Numeri e crittografia, Periodico di Matematiche VIII 2 (2), 5-16, P 2001 [LT02] S. Leonesi-C. Toffalori, Weakly o-minimal expansions of Boolean algebras, Math. Logic Quarterly 47, 223-238, R 2000 [T02] C. Toffalori, On some model theoretic problems concerning certain extensions of abelian groups by groups of finite exponent, Rend. Sem. Mat. Univ. Padova 103, 113-131, R 1999 [MT99] A. Marcja-C. Toffalori, On the elementarity of some classe of abelian-by-infinite groups, Studia Logica 61, 201-213, R 1998 [T98a] C. Toffalori, Lattice ordered o-minimal structures, Notre Dame J. Formal Logic 39, 447463, R [T98b] C.Toffalori, The decision problem for ZC(p^3)-lattices with p prime, Arch. Math. Logic 37, 127-142, R [BT98] S. Baratella-C. Toffalori, The theory of ZC(2)^2-lattices is decidable, Arch. Math. Logic 37, 91-104, R 1997 [T97a] C. Toffalori, An undecidability theorem for lattices over group rings, Ann. Pure Appl. Logic 88, 241-262, R [T97b] C. Toffalori, Wildness implies undecidability for lattices over group rings, J.Symbolic Logic 62, 1429-1444, R [T97c] C. Toffalori, Lifting elementary equivalence for free resolutions of abelian groups, Boll. Un. Mat. Ital. (7) 11-B, 909-917, R 1996 [T96a] C. Toffalori, Decidability for modules over a group ring III, Comm. Algebra 24, 331-344, R [T96b] C. Toffalori, Decidability for Z [G]-modules when G is cyclic of prime order, Math. Logic Quart. 42, 369-378, R [T96c] C. Toffalori, Two questions concerning decidability for lattices over a group ring, Boll. Un. Mat. Ital. (7) 10-B, 799-814, R [T96d] C. Toffalori, Some decidability results for Z[G]-modules when G is cyclic of squarefree order, Math. Logic Quart. 42, 433-445, R [T96e] C. Toffalori, An elementary class extending abelian-by-G groups, for G infinite, Rend. Mat. Acc. Lincei 9, 213-217, R 1995 [MT95] A. Marcja-C. Toffalori, Decidable representations, J. Pure Appl. Algebra 103, 189-203, R 1994 [MT94] A. Marcja-C. Toffalori, Abelian-by-G groups, with G finite, from a model theoretic point of view, Math. Logic Quart. 40, 125-131, R [T94a] C. Toffalori, Decidability for modules over a group ring II, Comm. Algebra 22, 397-405, R [T94b] C. Toffalori, A further glance at classifiable 1-ary functions, Rend. Sem. Mat. Univ. Padova 91, 115-123, R 1993 [MT93] A. Marcja-C. Toffalori, Decidability for modules over a group ring, Comm. Algebra 21, 2251-2264, R [MPT93a] A. Marcja-M. Prest-C. Toffalori, The stability classification for abelian-by-finite groups and modules over a group ring, J. London Math. Soc. (2) 47, 212-226, R [MPT93b] A. Marcja-M. Prest-C. Toffalori, On the undecidability of some classes of abelian-byfinite groups, Ann. Pure Appl. Logic 62, 167-173, R [T93a] C. Toffalori, The stability problem for 2-ary functions, Boll. Un. Mat. Ital. (7) 7-B, 187-200, R [T93b] C. Toffalori, Decidibilità per teorie di moduli, Atti degli Incontri di Logica Matematica 8, 19-43, E 1991 [MPT91] A. Marcja-M. Prest-C. Toffalori, Classification theory for abelian groups with an endomorphism, Arch. Math. Logic 31, 95-104, R [T91a] C. Toffalori, Classification theory for a 1-ary function, Illinois J. Math. 35, 1-12, R [T91b] C. Toffalori, 1-ary functions and the f. c. p., Illinois J. Math. 35, 434-450, R [T91c] C. Toffalori, Stability for pairs of equivalence relations, Notre Dame J. Formal Logic 32, 112-128, R [T91d] C. Toffalori, Weakly normal functions, Boll. Un. Mat. Ital. (7) 5-A, 89-96, R [T91e] C. Toffalori, Classifying pairs of equivalence relations, Notre Dame J. Formal Logic 32, 637-650, R [T91f] C. Toffalori, Simple pairs of equivalence relations, Zeitschr. f. Math. Logik und Grundl. d. Math. 37, 401-410, R 1989 [ST89] C. Steinhorn-C. Toffalori, The Boolean spectrum of an o-minimal theory, Notre Dame J. Formal Logic 30, 197-206, R [T89] C. Toffalori, p-aleph_0-categorical lattice ordered structures, Zeitschr. f. Math. Logik und Grundlagen d. Math. 35, 23-28, R 1987 [T87a] C. Toffalori, Cantor-Bendixson spectra of omega-stable theories, Notre Dame J. Formal Logic 28, 259-272, R [T87b] C. Toffalori, omega-stable theories with a model of CB-rank 1, Boll. Un. Mat. Ital. (7) 1-B, 689-702, R [T87c] C. Toffalori, omega-stable structures of small CB-rank, Ann. Mat. Pura ed Applicata (IV) 146, 263-279, R [T87d] C. Toffalori, Pairs of discrete o-minimal structures, Rend. Sem. Mat. Univers. Politecn. Torino 45, 59-90, R [T87e] C. Toffalori, Dalle teorie p-aleph_0-categoriche a quelle aleph_0-categoriche: un passo intermedio, Rend. Sem. Mat. Univ. Padova 78, 155-174, R 1986 [T86a] C. Toffalori, p-aleph_0-categorical structures, Studies in Logic 120, North Holland, 303327, R [T86b] C. Toffalori, Locally p-aleph_0-categorical theories, Zeitschr. f. Math. Logik und Grundlagen d. Math. 32, 341-348, R [T86c] C. Toffalori, Local spectra of strongly minimal theories, Boll. Un. Mat. Ital. (6) 5-A, 77-84, R 1985 [MT85] A. Marcja-C. Toffalori, On Cantor-Bendixson spectra containing (1, 1) – II, J. Symbolic Logic 50, 611-618, R [T85] C. Toffalori, Pairs of o-minimal structures, Le Matematiche 40, 181-197, R 1984 [MT84a] A. Marcja-C. Toffalori, On pseudo-aleph_0-categorical theories, Zeitschr. F. Math. Logik und Grundl. d. Math, 30, 533-540, R [MT84b] A. Marcja-C. Toffalori, On Cantor-Bendixson spectra containing (1, 1) – I, Lecture Notes in Mathematics 1103, Springer, 331-350, R [T84a] C. Toffalori, Su una classe di anelli locali differenziali, Boll. Un. Mat. Ital. (6) 3-B, 121136, R [T84b] C. Toffalori, Anelli regolari separabilmente chiusi, Rend. Sem. Mat. Univ. Padova 71, 1533, R 1983 [T83a] C. Toffalori, Questioni di teoria dei modelli per coppie di campi, Boll. Un. Mat. Ital. (6) 2B, 297-319, R [T83b] C. Toffalori, Strutture differenzialmente chiuse per alcune classi di anelli differenziali, Boll. Un. Mat. Ital. (6) 2-D, 51-70, R 1982 [T82a] C. Toffalori, Teoria dei modelli per alcune classi di anelli locali, Boll. Un. Mat. Ital. (6) 1D, 89-105, R [T82b] C. Toffalori, Stabilità, categoricità ed eliminazione dei quantificatori per una classe di anelli locali, Ann. Univ. Ferrara (7) 28, 39-53, R 1981 [T81] C. Toffalori, Strutture esistenzialmente complete per certe classi di anelli, Rend. Sem. Mat. Univ. Padova 66, 57-71, R 1980 [T80a] C. Toffalori, Sugli anelli nilreali, Boll. Un. Mat. Ital., Supplemento Algebra e Geometria, 127-144, R [T80b] C. Toffalori, Fasci di coppie di campi algebricamente chiusi, Boll. Un. Mat. Ital., Supplemento Algebra e Geometria, 271-282, R [T80c] C. Toffalori, Sheaves of pairs of real closed fields, Rend. Sem. Mat. Univers. Politecn. Torino 38, 107-122, R [T80d] C. Toffalori, Sul model-completamento di certe teorie di coppie di anelli, Boll. Un. Mat. Ital. (5) 17-B, 1439-1456, R 1979 [T79a] C. Toffalori, Alcune osservazioni sugli anelli commutativi esistenzialmente chiusi, Boll. Un. Mat. Ital. (5) 16-B, 1093-1102, R [T79b] C. Toffalori, Semigruppi archimedei esistenzialmente chiusi, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. 67, 162-167, R 1978 [T78] C. Toffalori, Eliminazione dei quantificatori per certe teorie di coppie di campi, Boll. Un. Mat. Ital. (5) 15-A, 159-166, R 1977 [T77] C. Toffalori, Alcune proprietà di teorie di campi con un sottocampo privilegiato, Boll. Un. Mat. Ital. (5) 14-B, 254-266, R SURVEYS 2002 [T02R] C. Toffalori, Ricordi dietro una porta a vetri, in Omaggio a Piero Mangani (curato da Annalisa Marcja), Reports of Department of Mathemics U. Dini, University of Florence, 12 1998-99 [T99aR] C. Toffalori, Perché Hrushovski e Wilkie hanno vinto gli ultimi Premi Karp, Reports of Department of Mathemics and Physics, University of Camerino, 2 [T99bR] C. Toffalori, Breve storia dell’Ultimo Teorema di Fermat, Reports of Department of Mathemics and Physics, University of Camerino, 3 1986-87 [T87R] C. Toffalori, Pairs of structures, Reports of Department of Mathemics U. Dini, University of Florence, 4 1985-86 [T86aR] C. Toffalori, Teoria della classificazione ed algebra - I, Reports of Department of Mathemics U. Dini, University of Florence, 4 [T86bR] C. Toffalori, Teoria della classificazione ed algebra - II, Reports of Department of Mathemics U. Dini, University of Florence, 8 [T86cR] C. Toffalori, Teoria della classificazione ed algebra - III, Reports of Department of Mathemics U. Dini, University of Florence, 16 1981-82 [T82R] C. Toffalori, Anelli differenzialmente chiusi, Reports of Department of Mathemics U. Dini, University of Florence, 11 1980-81 [T81R] C. Toffalori, Stabilità e categoricità per teorie di anelli, Reports of Department of Mathemics U. Dini, University of Florence, 10 1979-80 [T80R] C. Toffalori, Chiusura algebrica per classi di anelli, Reports of Department of Mathemics U. Dini, University of Florence, 16
