MAIETTI, MARIA EMILIA

MAIETTI, MARIA EMILIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.052 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
LOCAL CARTESIAN CLOSURE OF ELEMENTARY QUOTIENT COMPLETIONS 2026 Maria Emilia Maietti + THEORY AND APPLICATIONS OF CATEGORIES - -
Equiconsistency of the Minimalist Foundation with its classical version 2025 Maietti, Maria EmiliaSabelli, Pietro ANNALS OF PURE AND APPLIED LOGIC - -
Preface to the special issue for the 75th birthday of Dieter Spreen 2025 Maietti M. E. + JOURNAL OF LOGIC AND ANALYSIS - -
Preface: Advances in Homotopy Type Theory 2024 Maietti M. E. + MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
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 - -