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	0001-01-03	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: Samuele Maschio