MAIETTI, MARIA EMILIA
MAIETTI, MARIA EMILIA
Dipartimento di Matematica "Tullio Levi-Civita" - DM
A characterization of generalized existential completions
2023 Maietti, M. E.; Trotta, D.
A minimalist two-level foundation for constructive mathematics
2009 Maietti, MARIA EMILIA
A predicative variant of a realizability tripos for the Minimalist Foundation.
2016 Maietti, MARIA EMILIA; Maschio, Samuele
A predicative variant of Hyland's effective topos
2021 Maietti, MARIA EMILIA; Maschio, Samuele
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice
2021 Maietti, MARIA EMILIA; Maschio, Samuele; Rathjen, Michael
A structural investigation on formal topology: coreflection of formal covers and exponentiability
2004 Maietti, MARIA EMILIA; Valentini, Silvio
An induction principle for consequence in arithmetic universes.
2012 Maietti, MARIA EMILIA; Steve, Vickers
Can you add power-sets to Martin-Loef intuitionistic set theory?
1999 Maietti, MARIA EMILIA; Valentini, Silvio
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice
2018 Ishihara, Hajime; Maietti, MARIA EMILIA; Maschio, Samuele; Streicher, Thomas
Constructive version of Boolean algebra
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; P., Toto
Convergence in formal topology: a unifying notion
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; Sambin, Giovanni
Elementary quotient completion
2013 Maietti, MARIA EMILIA; G., Rosolini
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies
2019 Maietti, MARIA EMILIA; Pasquali, Fabio; Rosolini, Giuseppe
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE
2022 Maietti, M. E.; Maschio, S.; Rathjen, M.
Joyal's arithmetic universe as list-arithmetic pretopos
2010 Maietti, MARIA EMILIA
Modular correspondence between dependent type theories and categorical universes including pretopoi and topoi
2005 Maietti, MARIA EMILIA
Quotient completion for the foundation of constructive mathematics
2013 Maietti, MARIA EMILIA; G., Rosolini
Relating Categorical Semantics for Intuitionistic Linear Logic
2005 Maietti, MARIA EMILIA; Maneggia, P.; DE PAIVA, V.; Ritter, E.
Teoria dei tipi di universi categoriali.
1999 Maietti, MARIA EMILIA
The Compatibility of the Minimalist Foundation with Homotopy Type Theory
2024 Contente, Michele; Maietti, Maria Emilia