MAIETTI, MARIA EMILIA

MAIETTI, MARIA EMILIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 25 (tempo di esecuzione: 0.054 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Equiconsistency of the Minimalist Foundation with its classical version 2025 Maietti, Maria EmiliaSabelli, Pietro ANNALS OF PURE AND APPLIED LOGIC - -
Quotients, Pure existential completions and arithmetic universes 2024 MARIA EMILIA MAIETTIDAVIDE TROTTA THEORY AND APPLICATIONS OF CATEGORIES - -
The Compatibility of the Minimalist Foundation with Homotopy Type Theory 2024 Maietti, Maria Emilia + THEORETICAL COMPUTER SCIENCE - -
A characterization of generalized existential completions 2023 Maietti M. E.Trotta D. ANNALS OF PURE AND APPLIED LOGIC - -
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE 2022 Maietti M. E.Maschio S.Rathjen M. LOGICAL METHODS IN COMPUTER SCIENCE - -
A predicative variant of Hyland's effective topos 2021 Maietti Maria EmiliaMaschio Samuele THE JOURNAL OF SYMBOLIC LOGIC - -
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice 2021 Maietti Maria EmiliaMaschio Samuele + LOGICAL METHODS IN COMPUTER SCIENCE - -
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies 2019 Maria Emilia MaiettiFabio PasqualiGiuseppe Rosolini LOGICAL METHODS IN COMPUTER SCIENCE - -
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice 2018 Maria Emilia MaiettiSamuele Maschio + ARCHIVE FOR MATHEMATICAL LOGIC - -
Triposes, exact completions, and Hilbert's ε-operator 2017 Maria Emilia MaiettiFabio Pasquali + TBILISI MATHEMATICAL JOURNAL - -
A predicative variant of a realizability tripos for the Minimalist Foundation. 2016 MAIETTI, MARIA EMILIAMASCHIO, SAMUELE THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS - -
Unifying exact completions 2015 MAIETTI, MARIA EMILIA + APPLIED CATEGORICAL STRUCTURES - -
Constructive version of Boolean algebra 2013 CIRAULO, FRANCESCOMAIETTI, MARIA EMILIA + LOGIC JOURNAL OF THE IGPL - -
Convergence in formal topology: a unifying notion 2013 CIRAULO, FRANCESCOMAIETTI, MARIA EMILIASAMBIN, GIOVANNI JOURNAL OF LOGIC AND ANALYSIS - -
Elementary quotient completion 2013 MAIETTI, MARIA EMILIA + THEORY AND APPLICATIONS OF CATEGORIES - -
Quotient completion for the foundation of constructive mathematics 2013 MAIETTI, MARIA EMILIA + LOGICA UNIVERSALIS - -
Why topology in the Minimalist Foundation must be pointfree 2013 MAIETTI, MARIA EMILIASAMBIN, GIOVANNI LOGIC AND LOGICAL PHILOSOPHY - -
An induction principle for consequence in arithmetic universes. 2012 MAIETTI, MARIA EMILIA + JOURNAL OF PURE AND APPLIED ALGEBRA - -
Joyal's arithmetic universe as list-arithmetic pretopos 2010 MAIETTI, MARIA EMILIA THEORY AND APPLICATIONS OF CATEGORIES - -
A minimalist two-level foundation for constructive mathematics 2009 MAIETTI, MARIA EMILIA ANNALS OF PURE AND APPLIED LOGIC - -