Visualizza il file - Portale Docenti

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,
2011-2014 and 2014-2017
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 and
2015-2018
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
















Dialoghi matematici, Roma, Auditorium Parco della Musica, April 30, 2017, Algoritmi
(with P. Odifreddi and P. Donghi)
Mente e cervello, Jesi, Liceo Scientifico Leonardo da Vinci, April 29, 2017, Matematica,
algoritmi, libertà
Matematica a processo, Happy Numbers 2017, Camerino, March 29, 2017, Logica a
processo (with S. Leonesi)
La Bellezza della Matematica, Gualdo Tadino, ISISS R. Casimiri, March 22, 2017,
Matematica e letteratura. Da Dante a Dostoevskij
Biblioteca Pietro Thouar, Firenze, March 17, 2017, Matematica in giallo
Biblioteca Pietro Thouar, Firenze, March 2, 2017, Lo cielo del Sole. La matematica e Dante
Università Popolare, Melfi, December 17, 2016, Matematica e letteratura (with P.
Maroscia)
Festival della scienza, Genova, November 6, 2016, Logica a processo (with R. Lucchetti)
Smart Education and Technology Days, Napoli, Città della Scienza, October 19-21, 2016,
UMI Round Table on Competenze linguistiche e loro impatto sull’insegnamento della
Matematica (with Ciro Ciliberto, Ercole Castagnola, Tullio De Mauro and Pier Luigi
Ferrari)
Mathematics and Literature, An International Workshop within FOLIO-M, Óbidos
(Portugal), October 1, 2016, Dostoyevsky as mathematician
Scuola Estiva I temi fondamentali della matematica: algoritmi, numeri, polinomi, curve,
poligoni, Nusco (Avellino), September 5, 2016, Il fascino delle equazioni
Scuola Estiva di Logica, Gargnano, August 24, 2016, Lo cielo del Sole. La matematica e
Dante
Mathesis Ferrara e Accademia delle Scienze di Ferrara, Ferrara, May 12, 2016, Al diavolo i
logaritmi: matematica o libertà?
Pianeta Galileo, Regione Toscana Primo incontro con la Scienza, ITS Tito Sarrocchi, Siena,
April 28, 2016, Algoritmi
Seminari di Cultura Matematica, Politecnico di Milano, April 13, 2016, Logica a processo
Matematica e letteratura 2016. Alla scoperta di nuove analogie, Università di Salerno,
Fisciano, April 6-8, 2016, Lo cielo del Sole. La matematica e Dante






























Marcianise, Liceo Classico e Scientifico Federico Quercia, April 5, 2016, Dostoevskij
matematico
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, polinomi, curve,
poligoni, Nusco (Avellino), September 2, 2015, Numeri, alef, analogie
Scuola Estiva di Logica, Gargnano, 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 Galilei, 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


























Magica 16, Many-valued logic: Algebraic, Geometric and Computational Aspects. In
honour of Daniele Mundici’s 70th birthday, Milano, September 26-27, 2016, Robinson
Consistency and other things: model theory in Florence in the eighties
First Joint Meeting Brazil-Italy in Mathematics, IMPA, Rio de Janeiro, August 29September 2, 2016, Session of Mathematical Logic, September 1, 2016, On the decidability
of the theory of modules over the ring of algebraic integers
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















Matematica e Letteratura 2017. Parole, formule, emozioni, Università di Salerno, Fisciano,
April 5-7, 2017
Happy Numbers 2017 – Aperitivi di Matematica. Matematica a processo, Camerino, March
29-May 20, 2017
Congresso Nazionale 2016 Mathesis. Studiare e insegnare matematica: che cosa, come e
perché, Camerino, October 27-29, 2016 (CANCELED BECAUSE OF THE CAMERINO
EARTHQUAKE, OCTOBER 26, 2016)
XXIII Convegno UMI-CIIM. Criticità per l’insegnamento della matematica nella scuola di
oggi, Pavia, October 7-9, 2016
First Joint Meeting Brazil-Italy in Mathematics, IMPA, Rio de Janeiro, August 29September 2, 2016
Scuola Estiva di Logica, Gargnano, Palazzo Feltrinelli, August 22-27, 2016
Educare alla razionalità. In ricordo di Paolo Gentilini, Sestri Levante, June 9-11, 2016
Matematica e Letteratura 2016. Alla scoperta di nuove analogie, Università di Salerno,
Fisciano, April 6-8, 2016
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 of 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
Soft Computing, Volume 21 (2017), Issue 1, Special issue in memoriam Franco Montagna
(Proceedings of the Conference Coherence and Truth. In memoriam Franco Montagna,
Pontignano, December 16-18, 2015)
EDITOR




(with A. Celletti and G. Bini), Matematica, cultura e società. Rivista dell’Unione
Matematica Italiana, 2016-…
(with P. Maroscia, F. S. Tortoriello and G. Vincenzi, Matematica e letteratura. Analogie e
convergenze, UMI-CIIM Nuove Convergenze, UTET 2016
(with H. Hosni and G. Lolli), Le direzioni della ricerca logica in Italia, Edizioni della
Normale, 2015
(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
2016-17, University of Camerino
 Degree in Mathematics: Algebra and Logic; Advanced Algebra
 Degrees in Mathematics and Computer Science: Computability and Complexity
2016-17, University of Florence
 Degree in Mathematics: Logic and Computability
2015-16, University of Camerino
 Degree in Mathematics: Algebra and Logic; Galois Theory
 Degrees in Mathematics and Computer Science: Computability and Complexity
2014-15, University of Camerino
 Degree in Mathematics: Algebra and Logic; Numbers and Cryptography


Degree in Computer Science: Linear Algebra; Computability and Complexity
TFA: Didattica di Algebra e Logica
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)
 TFA: Didattica di Algebra e Logica
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
[To17a] C. Toffalori, Vite parallele. Hilbert e Pirandello, Matematica e Letteratura 3
[LT16a] S. Leonesi-C. Toffalori, Logica a processo, Lettera Matematica Pristem, in corso di stampa
[TT16b] A. Telloni-C. Toffalori, La logica delle equazioni, Educare alla razionalità
[To16a] C. Toffalori, Lo cielo del Sole. La matematica e Dante, Matematica e Letteratura 2
[T016b] C. Toffalori, H come Hilbert, M come matematica, Lettera Matematica Pristem, in corso di
stampa
RESEARCH PAPERS
[LPPT17] S. L’Innocente-F. Point-G. Puninski-C. Toffalori, The Ziegler spectrum of the ring of
entire complex valued functions, arXiv 1703.01752
[GLPT17] L. Gregory-S. L’Innocente-G. Puninski-C. Toffalori, Decidability of the theory of
modules over Bézout domains with infinite residue fields
BOOKS
[T17] C. Toffalori, Cantor
BOOKS
2016
[LT16] S. Leonesi-C. Toffalori, Logica a processo, FrancoAngeli, Milano
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)
2017
[LTP17] S. L’Innocente- C. Toffalori-G. Puninski, On the decidability of the theory of modules over
the ring of algebraic integers, Ann. Pure Appl. Logic, 168, 1507-1516
[LT17a] S. Leonesi-C. Toffalori, Logic on trial, Lettera Matematica, International Edition, 4, 141150
[To17a] C. Toffalori, H for Hilbert… and M for Mathematics, Lettera Matematica, International
Edition, 1-5
[TT17a] A. I. Telloni-C. Toffalori, Note sparse per un libro su Matematica e Letteratura, in B.
Carbonaro-A. Russo (eds.), Overlapping of Mathematics and Humanities, Quaderni di Matematica
29, Aracne, 33-70
2015
[BT15] A. Berarducci-C. Toffalori, Le direzioni della logica in Italia: la teoria dei modelli, in H.
Hosni-G. Lolli-C. Toffalori (eds.), Le direzioni della ricerca logica in Italia, Edizioni della
Normale, 43-83, E
[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. International Edition: Dostoyevsky as mathematician (part I), Lettera Matematica 3, 147-155
[TT2] A. I. Telloni-C. Toffalori, Dostoevskij matematico (parte II), Lettera Matematica Pristem 94,
51-57. International Edition: Dostoyevsky as mathematician (part II), Lettera Matematica 3, 197204
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