MAIETTI, MARIA EMILIA
MAIETTI, MARIA EMILIA
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Equiconsistency of the Minimalist Foundation with its classical version
In corso di stampa Maietti, Maria Emilia; Sabelli, Pietro
Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale
2024 Carrara, Massimiliano; Mancini, Filippo; Maietti, Maria Emilia; Maschio, Samuele
Quotients, Pure existential completions and arithmetic universes
2024 Maietti, MARIA EMILIA; Trotta, Davide
The Compatibility of the Minimalist Foundation with Homotopy Type Theory
2024 Contente, Michele; Maietti, Maria Emilia
A characterization of generalized existential completions
2023 Maietti, M. E.; Trotta, D.
A topological counterpart of well-founded trees in dependent type theory
2023 Maietti, MARIA EMILIA; Sabelli, Pietro
Handbook of Constructive Mathematics
2023 Maietti, MARIA EMILIA
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE
2022 Maietti, M. E.; Maschio, S.; Rathjen, M.
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
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies
2019 Maietti, MARIA EMILIA; Pasquali, Fabio; Rosolini, Giuseppe
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
On choice rules in dependent type theory
2017 Maietti, MARIA EMILIA
Triposes, exact completions, and Hilbert's ε-operator
2017 Maietti, MARIA EMILIA; Pasquali, Fabio; Rosolini, Giuseppe
A predicative variant of a realizability tripos for the Minimalist Foundation.
2016 Maietti, MARIA EMILIA; Maschio, Samuele
Relating quotient completions via categorical logic.
2016 Maietti, MARIA EMILIA; Rosolini, Giuseppe
An extensional Kleene realizability semantics for the Minimalist Foundation.
2015 Maietti, MARIA EMILIA; Maschio, Samuele
Unifying exact completions
2015 Maietti, MARIA EMILIA; Rosolini, Giuseppe
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