Maria Emilia Maietti

Available identifiers

zbMath Open maietti.maria-emiliaMaRDI QIDQ382420

List of research outcomes

Publication	Date of Publication	Type
The compatibility of the minimalist foundation with homotopy type theory	2024-03-01	Paper
The Minimalist Foundation and Bishop’s Constructive Mathematics	2023-08-11	Paper
A characterization of generalized existential completions	2023-02-15	Paper
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice	2023-01-09	Paper
Quasitoposes as elementary quotient completions	2021-11-30	Paper
Generalized existential completions and their regular and exact completions	2021-11-06	Paper
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS	2021-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5009707	2021-08-05	Paper
Relating Quotient Completions via Categorical Logic	2020-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q4968383	2019-07-12	Paper
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice	2019-05-28	Paper
Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice	2019-01-14	Paper
A predicative variant of Hyland's Effective Topos	2018-06-22	Paper
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies	2018-02-18	Paper
Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator	2017-12-08	Paper
An extensional Kleene realizability semantics for the Minimalist Foundation	2017-07-12	Paper
On Choice Rules in Dependent Type Theory	2017-05-19	Paper
Why topology in the minimalist foundation must be pointfree	2015-04-09	Paper
Unifying exact completions	2015-02-05	Paper
Quotient completion for the foundation of constructive mathematics	2013-11-19	Paper
Elementary quotient completion	2013-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q2851541	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2849881	2013-09-20	Paper
Joyal's arithmetic universes via type theory	2013-08-16	Paper
Constructive version of Boolean algebra	2013-06-11	Paper
Convergence in formal topology: a unifying notion	2013-02-25	Paper
An induction principle for consequence in arithmetic universes	2012-10-16	Paper
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita	2011-07-29	Paper
Subspaces of an arithmetic universe via type theory	2010-11-16	Paper
Subspaces of an arithmetic universe via type theory	2010-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q3552042	2010-04-20	Paper
A minimalist two-level foundation for constructive mathematics	2009-10-26	Paper
Quotients over Minimal Type Theory	2007-11-13	Paper
Modular correspondence between dependent type theories and categories including pretopoi and topoi	2006-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5718565	2006-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q5718572	2006-01-16	Paper
A structural investigation on formal topology: coreflection of formal covers and exponentiability	2005-08-29	Paper
Relating categorical semantics for intuitionistic linear logic	2005-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4508305	2001-02-27	Paper
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4944857	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4246949	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4896529	1996-10-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maria Emilia Maietti