Samuele Maschio

Available identifiers

zbMath Open maschio.samueleMaRDI QIDQ1756494

List of research outcomes

Publication	Date of Publication	Type
On categorical structures arising from implicative algebras: from topology to assemblies	2024-01-08	Paper
Implicative models of intuitionistic set theory	2023-01-27	Paper
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice	2023-01-09	Paper
On the compatibility between the minimalist foundation and constructive set theory	2022-12-07	Paper
On posetal and complete partial applicative structures	2022-11-21	Paper
A categorical reading of the numerical existence property in constructive foundations	2022-10-09	Paper
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies	2021-10-29	Paper
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS	2021-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5009707	2021-08-05	Paper
Topology as Faithful Communication Through Relations	2021-05-20	Paper
Extending the extensional level of the Minimalist Foundation to axiomatic set theories	2021-02-25	Paper
Natural density and probability, constructively	2020-09-22	Paper
Numerical existence property and categories with an internal copy	2020-09-10	Paper
Solving knights-and-knaves with one equation	2020-07-16	Paper
On the distinction between sets and classes: a categorical perspective	2020-02-04	Paper
Remarks on abstract structures of propositions and realizers	2019-12-18	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
An extensional Kleene realizability semantics for the Minimalist Foundation	2017-07-12	Paper
Topology as faithful communication through relations	2016-11-09	Paper
Models of intuitionistic set theory in subtoposes of nested realizability toposes	2015-05-15	Paper
What is the real category of sets?	2012-12-13	Paper
Implicative models of set theory	N/A	Paper

Research outcomes over time

This page was built for person: Samuele Maschio