Carlo TOFFALORI - Unicamdocenti.unicam.it/tmp/cr196.pdf · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics ... (with P. Odifreddi

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, Associate Professor, University of L’Aquila

November 1989 – October 1994, Associate 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

mailto:[email protected]

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

Convegno Nazionale/Corso di Formazione Mathesis APAV, Rimini, April 20-22, 1918-

2018: Cantor e l’infinito per gli studenti di oggi

Algoritmi educativi, 9° Festival dell’Educazione, Rovereto, April 13-15, La (in)sostenibile

leggerezza dell’algoritmo (with Marco Andreatta)

Matematica e Letteratura 4, Università di Salerno, Fisciano, April 4-6, 2018, La verità con

Quattro diesis: la matematica e Stendhal

Dialoghi matematici, Bologna, Oratorio S. Filippo Neri, March 11, 2018, Algoritmi. Il

piacere della soluzione (with P. Odifreddi and P. Donghi)

Multifocal approach. Does reality like hiding? Macerata, March 2, 2018, Hilbert e

Pirandello: vite parallele

Che cosa fanno oggi i filosofi, Cattolica, January 28, 2018, Calculemus!

Biblioteca Pietro Thouar, Firenze, November 3, 2017, Vite parallele. Hilbert e Pirandello

Matematica e… Liceo Matematico all’Università di Camerino, October 25, 2017, Vite

parallele. Hilbert e Pirandello

Mathesis Firenze, In ricordo di Maria Giuditta Campedelli, October 4, 2017, Vite parallele.

Hilbert e Pirandello

Città di Castello, May 10, 2017, Non matematica, ma teologia

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 e letteratura 2017. Parole, formule, emozioni, Università di Salerno, Fisciano,

April 5-7, 2016, Vite parallele. Hilbert e Pirandello

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

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

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

Conference in memory of Gena Puninski, Manchester, April 6-9, 2018, The torsion free part

of the Ziegler spectrum of orders over Dedekind domains

IIIM Incontro Italiano di Insieme e Modelli, Torino, February 21-23, 2018, The torsion free

part of the Ziegler spectrum of orders over Dedekind domains

MOTMAC Model Theory of Modules, Algebras and Categories. In honour of Mike Prest,

Erice, Centro E. Majorana, July 28-August 2, Decidability and modules over Bézout

domains

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

September 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

XXI Congresso UMI, Pavia, September 2019

Matematica e Letteratura 4, Università di Salerno, Fisciano, April 4-6, 2018

Matematica e… Liceo Matematico all’Università di Camerino, Camerino, October 25-

December 13, 2017

XXVI Incontro AILA, Padova, Orto Botanico, September 25-28, 2017

Scuola Estiva di Logica, Gargnano, Palazzo Feltrinelli, August 21-26, 2017

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

September 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


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


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


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


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

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 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), Parole, formule, emozioni. Tra

matematica e letteratura, UMI-CIIM Nuove Convergenze, UTET Università 2018

(with P. Maroscia, F. S. Tortoriello and G. Vincenzi, Matematica e letteratura. Analogie e

convergenze, UMI-CIIM Nuove Convergenze, UTET Università 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

2017-18, University of Camerino

Degree in Mathematics: Algebra and Logic; Advanced Algebra; Model Theory

Degrees in Mathematics and Computer Science: Computability and Complexity


Degree in Mathematics: Algebra and Logic; Advanced Algebra


2016-17, University of Florence

Degree in Mathematics: Logic and Computability


Degree in Mathematics: Algebra and Logic; Galois Theory



Degree in Mathematics: Algebra and Logic; Numbers and Cryptography

Degree in Computer Science: Linear Algebra; Computability and Complexity

TFA: Didattica di Algebra e Logica


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


Degree in Mathematics: Logic, Numbers and Cryptography

Degree in Computer Science: Mathematical Logic, Theory of Computation (Complexity

Theory)


Degree in Mathematics: Logic, Numbers and Cryptography

Degree in Computer Science: Mathematical Logic, Theory of Computation (Complexity

Theory)


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)


Degree in Mathematics: Mathematical Logic. Codes and Cryptography



2006-07 and 2005-06, University of Camerino

Degree in Mathematics: Advanced Algebra (Galois Theory), Mathematical Logic. Codes

and Cryptography




Degree in Mathematics: Basic Mathematical Logic, Mathematical Logic, Codes and

Cryptography

Degree in Computer Science: Mathematical Logic, Theoretical Computer Science

(Complexity Theory)



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



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

[To18a] C. Toffalori, La verità con quattro diesis: la matematica e Stendhal, Matematica e

Letteratura 4

[To17b] C. Toffalori, Vite parallele. Hilbert e Pirandello, Matematica e Letteratura 3

[TT16b] A. Telloni-C. Toffalori, La logica delle equazioni, Educare alla razionalità

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, J. Symbolic Logic, to appear

[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

2017

[To17] C. Toffalori, Cantor. La teoria degli insiemi, Grandangolo Scienza, Corriere della Sera,

Milano

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)

2018

[To18a] C. Toffalori, Lo cielo del Sole. La matematica e Dante, in: P. Maroscia-C. Toffalori-F. S.

Tortoriello-G. Vincenzi, Parole, formule, emozioni. Tra matematica e letteratura, Nuove

Convergenze UMI-CIIM, UTET Università, 183-225

[MTTV18] P. Maroscia-C. Toffalori-F. S. Tortoriello-G. Vincenzi, Parole, formule, emozioni. Tra

matematica e letteratura, in: P. Maroscia-C. Toffalori-F. S. Tortoriello-G. Vincenzi, Parole,

formule, emozioni. Tra matematica e letteratura, Nuove Convergenze UMI-CIIM, UTET

Università, XI-XIV

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

150

[To17a] C. Toffalori, H for Hilbert… and M for Mathematics, Lettera Matematica, International

Edition, 1-5

[To17aa] C. Toffalori, H come Hilbert, M come matematica, Lettera Matematica 100, 48-52

[To17c] C. Toffalori, Tributo a Cantor, MatematicaMente 229, 230, 4 p.

[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

2016

[LT16a] S. Leonesi-C. Toffalori, Logica a processo, Lettera Matematica 98, 17-26

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

http://www.xlatangente.it/upload/files/XlaT_online/02/index.html

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

204

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

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

2012

http://www.aphex.it/

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

[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


[ALT06a] I. Antolini-S. Leonesi-C. Toffalori, Come contano i roditori - I, Lettera Matematica


[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


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

[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

[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

[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

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


[T86cR] C. Toffalori, Teoria della classificazione ed algebra - III, Reports of Department of


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


1979-80

[T80R] C. Toffalori, Chiusura algebrica per classi di anelli, Reports of Department of Mathemics

U. Dini, University of Florence, 16

Documents

Carlo TOFFALORI - Unicamdocenti.unicam.it/tmp/cr196.pdf · Carlo TOFFALORI University of Camerino School of Science and Technology, Division of Mathematics ... (with P. Odifreddi