Samuele Maschio

From MaRDI portal
Revision as of 19:16, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:1756494

Available identifiers

zbMath Open maschio.samueleMaRDI QIDQ1756494

List of research outcomes

PublicationDate of PublicationType
On categorical structures arising from implicative algebras: from topology to assemblies2024-01-08Paper
Implicative models of intuitionistic set theory2023-01-27Paper
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice2023-01-09Paper
On the compatibility between the minimalist foundation and constructive set theory2022-12-07Paper
On posetal and complete partial applicative structures2022-11-21Paper
A categorical reading of the numerical existence property in constructive foundations2022-10-09Paper
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies2021-10-29Paper
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS2021-10-27Paper
https://portal.mardi4nfdi.de/entity/Q50097072021-08-05Paper
Topology as Faithful Communication Through Relations2021-05-20Paper
Extending the extensional level of the Minimalist Foundation to axiomatic set theories2021-02-25Paper
Natural density and probability, constructively2020-09-22Paper
Numerical existence property and categories with an internal copy2020-09-10Paper
Solving Knights-and-Knaves with One Equation2020-07-16Paper
On the Distinction Between Sets and Classes: A Categorical Perspective2020-02-04Paper
Remarks on abstract structures of propositions and realizers2019-12-18Paper
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice2019-05-28Paper
Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice2019-01-14Paper
A predicative variant of Hyland's Effective Topos2018-06-22Paper
An extensional Kleene realizability semantics for the Minimalist Foundation2017-07-12Paper
Topology as faithful communication through relations2016-11-09Paper
Models of intuitionistic set theory in subtoposes of nested realizability toposes2015-05-15Paper
What is the real category of sets?2012-12-13Paper
Implicative models of set theory0001-01-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Samuele Maschio