carlo toffalori - consiglio.regione.toscana.it · carlo toffalori university of camerino school of...

23
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, 2011- 13

Upload: lynguyet

Post on 15-Feb-2019

215 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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, 2011-

13

Page 2: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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 15-

17, 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

Page 3: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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à

Page 4: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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?)

Page 5: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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 30-

July 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

Page 6: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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

Page 7: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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

Page 8: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

Model theory and applications, Special Session, First Joint International Meeting RSME-

SCM-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, March-

May 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 30-

July 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 19-

22, 2006

Matematici e filosofi si incontrano II, Modena, March 28, April 6, May 3, 2006

Model Theory Day, Camerino, March 22, 2006

Page 9: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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 21-

25, 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

Page 10: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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

Page 11: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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

Page 12: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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

Page 13: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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

Page 14: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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 in gioco: l’esperienza di

ENIGMATICAmente, Archimede 3/2013, 115-120. P

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

Page 15: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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, 14-

23, 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

Page 16: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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

Page 17: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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

Page 18: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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, 447-

463, 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

Page 19: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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-by-

finite 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

Page 20: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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, 303-

327, 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

Page 21: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

[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, 121-

136, R

[T84b] C. Toffalori, Anelli regolari separabilmente chiusi, Rend. Sem. Mat. Univ. Padova 71, 15-

33, R

1983

[T83a] C. Toffalori, Questioni di teoria dei modelli per coppie di campi, Boll. Un. Mat. Ital. (6) 2-

B, 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) 1-

D, 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

Page 22: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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

Page 23: Carlo TOFFALORI - consiglio.regione.toscana.it · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics Via Madonna delle Carceri, 9 62032

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