MAIETTI MARIA EMILIA

Contacts
E-mail
902a45be273741eaf9062b2b1e22c0f8
bring this page
with you
Structure Department of Mathematics
Qualification Professore associato confermato
Scientific sector MAT/01 - MATHEMATICAL LOGIC
University telephone book  Show
 

Office hours
Wednesday from 17:30 to 19:30 Torre Archimede, via Trieste 63, stanza 721 E' altamente consigliato chiedere conferma della possibilita' di ricevimento nel giorno e orario indicato, o anche in altri giorni e orari (preferibilmente almeno il giorno prima).
(updated on 11/11/2014 17:51)

Proposals for thesis
Oltre la validita' e completezza: il teorema del linguaggio interno", Daniela Manzoni (laurea in Matematica, vecchio ordinamento, Universita Cattolica del Sacro Cuore, Brescia, 2003/2004)

Analisi categoriale della semantica per la logica predicativa, Cristina Remelli (laurea in Matematica, vecchio ordinamento, Universita Cattolica del Sacro Cuore, Brescia, 2003/2004)

Il teorema di eliminazione del taglio per logiche predicative, Maria Consarino (laurea triennale in Matematica, Universita' di Padova, 2008/2009)

Boolenizzazione di un reticolo distributivo, Arianna Guidolin (laurea triennale in Matematica, Universita' di Padova, 2010/2011)

I numeri reali da un punto di vista costruttivo, Luca Barzan (laurea triennale in Matematica, Universita' di Padova, 2012/2013)

Semantica della realizzabilita' di Kleene per l'aritmetica intuizionista, Laura Trivellato (laurea triennale in Matematica, Universita' di Padova, 2013/2014)

Una dimostrazione algebrica della conservativita' della Logica Classica sulla Logica Coerente, Claudia Maso (laurea magistrale in Matematica, Universita' di Padova, 2013/2014)

An extension of the Minimalist Foundation with wellfounded trees, Luca Bressan, (laurea magistrale in Matematica, Universita' di Padova, 2014/2015)

Curriculum Vitae
Associate Professor since 1/9/2015.
From 28/11/2014 to 28/11/2020 holder of Italian Full Professorship Habilitation in sector 01/A1.

Member of the Editorial Board of the journal ``Mathematical Logic Quarterly'' since 1/1/2-16.

Guest editor of special issues of Annals of Pure and Applied Logic
and one of ``Journal of Logic and Analysis".

Author of about thirty papers on topics including Type Theory, Categorical Logic and Constructive Topology.

Author of the ``Minimalist Foundation'' in 2005 with Giovanni Sambin
Author of a complete two-level formal system for the Minimalist Foundation in 2009.

Author of the notion ``elementary quotient completion of an elementary doctrine'' in 2013 with Giuseppe Rosolini.


Project supervision:

1. Supervisor of Padova site for the EU project RISE-Marie Curie Actions CID H2020 731143 (2017-2021)
Local Budget: 60093,92 euro

2. Scientific supervisor of the project ``Homotopy type theoretic aspects within the Minimalist Foundation'' for a one year-fellowship (1 /2/2018-31/1/2019) funded by Universita' di Padova
Budget: 21721 euro (holder: F. Pasquali)

3.Scientific supervisor of the two-year project ``A minimalist approach to Algebraic Set Theory'' funded by Universita' di Padova, 31/1/2016-30/6/2018. It included a one year fellowship assigned to F. Pasquali

4. Scientific supervisor of the project ``Pointfree constructive analysis in the Minimalist Foundation'' funded by Universita' di Padova for a two-year fellowship (2014-2016) (holder S. Maschio)
Budget: 46152 euro

5. Supervisor of Padova site for the EU project International Research Staff Exchange Scheme (IRSES)-Marie Curie Actions CORCON, FP7-PEOPLE-2013-IRSES 612638, (2014-2017).
Local Budget: 37800 euro.

Member of the directory board of "Associazione Italiana di Logica e sue Applicazioni

Senior partecipant at a trimester at Hausdforf Institute, Bonn 2018.
Invited speakers and organizers at various conferences.

Research areas
Logica matematica: Teoria dei Tipi, Logica categoriale, Fondamenti della Matematica.
Matematica costruttiva: Topologia Costruttiva.
Teoria delle categorie: Completamenti per Quozienti

Publications
F. Ciraulo, M. E. Maietti, P. Toto (2013). Constructive version of Boolean algebra. LOGIC JOURNAL OF THE IGPL, vol. 21, p. 44-62, ISSN: 1367-0751, doi: 10.1093/jigpal/jzs021

Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin (2013). Convergence in formal topology: a unifying notion. JOURNAL OF LOGIC AND ANALYSIS, vol. 5, p. 1-45, ISSN: 1759-9008, doi: 10.4115/jla.2013.5.2

Maietti M. E., G. Rosolini (2013). Quotient completion for the foundation of constructive mathematics. LOGICA UNIVERSALIS, p. 1-32, ISSN: 1661-8297, doi: 10.1007/s11787-013-0080-2

Maietti M.E., Steve Vickers (2012). An induction principle for consequence in arithmetic universes.. JOURNAL OF PURE AND APPLIED ALGEBRA, vol. 216, p. 2049-2067, ISSN: 0022-4049, doi: 10.1016/j.jpaa.2012.02.040

MAIETTI M.E. (2010). Joyal's arithmetic universe as list-arithmetic pretopos. THEORY AND APPLICATIONS OF CATEGORIES, vol. 24(3), p. 39-83, ISSN: 1201-561X

MAIETTI M.E (2009). A minimalist two-level foundation for constructive mathematics. ANNALS OF PURE AND APPLIED LOGIC, vol. 160 (3), p. 319-354, ISSN: 0168-0072, doi: 10.1016/j.apal.2009.01.006

MAIETTI M.E. (2005). Modular correspondence between dependent type theories and categorical universes including pretopoi and topoi. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 15(6), p. 1089-1149, ISSN: 0960-1295, doi: 10.1017/S0960129505004962

MAIETTI M.E., MANEGGIA P., DE PAIVA V., RITTER E. (2005). Relating Categorical Semantics for Intuitionistic Linear Logic. APPLIED CATEGORICAL STRUCTURES, vol. 13 (1), p. 1-36, ISSN: 0927-2852, doi: 10.1007/s10485-004-3134-z

MAIETTI M.E., VALENTINI S. (2004). A structural investigation on formal topology: coreflection of formal covers and exponentiability . JOURNAL OF SYMBOLIC LOGIC, vol. 69, p. 967-1005, ISSN: 0022-4812, doi: 10.2178/jsl/1102022209

MAIETTI M.E. (2005). Predicative exponentiation of locally compact formal topologies over inductively generated ones. In: CROSILLA L.; SCHUSTER P.. From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematics. vol. 48, p. 202-222, Oxford University Press, ISBN: 9780198566519, doi: 10.1093/acprof:oso/9780198566519.003.0013

MAIETTI M.E., SAMBIN G. (2005). Toward a minimalist foundation for constructive mathematics. In: CROSILLA L.; SCHUSTER P.. From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematics. vol. 48, p. 91-114, oxford:Oxford University Press, ISBN: 9780198566519, doi: 10.1093/acprof:oso/9780198566519.003.0006

per altre pubblicazioni si rimanda al sito personale del docente
http://www.math.unipd.it/~maietti/pubb.html

List of taught course units in A.Y. 2019/20
Degree course code (?) Degree course track Course unit code Course unit name Credits Year Period Lang. Teacher in charge
SC1167 COMMON SC02105452 6 1st Year (2019/20) First
semester
ITA MARIA EMILIA MAIETTI
SC1159 COMMON SCM0014417 7 3rd Year (2019/20) First
semester
ITA MARIA EMILIA MAIETTI
SC1176 COMMON SCP6076357 6 1st Year (2019/20) Second
semester
ITA MARIA EMILIA MAIETTI