Samuele Maschio

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 15

Top Topics

Positively Correlated

Topology Preservation

Numerical Values

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Log. Methods Comput. Sci.

Publications

Samuele Maschio, Davide Trotta
On categorical structures arising from implicative algebras: From topology to assemblies. Ann. Pure Appl. Log. 175 (3) (2024)
Samuele Maschio, Alexandre Miquel
Implicative models of set theory. CoRR (2023)
Samuele Maschio, Davide Trotta
On categorical structures arising from implicative algebras: from topology to assemblies. CoRR (2023)
Samuele Maschio, Pietro Sabelli
On the Compatibility Between the Minimalist Foundation and Constructive Set Theory. CiE (2022)
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice. Log. Methods Comput. Sci. 18 (4) (2022)
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice. Log. Methods Comput. Sci. 17 (2) (2021)
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies. Arch. Math. Log. 60 (7) (2021)
Maria Emilia Maietti, Samuele Maschio
A Predicative variant of Hyland's Effective Topos. J. Symb. Log. 86 (2) (2021)
Samuele Maschio, Giovanni Sambin
Topology as Faithful Communication Through Relations. Fundam. Informaticae 176 (1) (2020)
Samuele Maschio
Numerical Existence Property and Categories with an Internal Copy. Logica Universalis 14 (3) (2020)
Samuele Maschio
Natural density and probability, constructively. Reports Math. Log. 55 (2020)
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
Factorizing the Top-Loc adjunction through positive topologies. CoRR (2018)
Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice. Arch. Math. Log. 57 (7-8) (2018)
Maria Emilia Maietti, Samuele Maschio
A Predicative Variant of a Realizability Tripos for the Minimalist Foundation. FLAP 3 (4) (2016)
Samuele Maschio, Thomas Streicher
Models of intuitionistic set theory in subtoposes of nested realizability toposes. Ann. Pure Appl. Log. 166 (6) (2015)
Maria Emilia Maietti, Samuele Maschio
An Extensional Kleene Realizability Semantics for the Minimalist Foundation. TYPES (2014)