Publications

PAPERS

• [MT] Samuele Maschio. Davide Trotta. On categorical structures arising from implicative algebras: from topology to assemblies.  Annals of Pure and Applied Logic vol. 175 (3) 41 pages (2024)  errata corrige  MR4673506

• [MMiq] Samuele Maschio, Alexandre Miquel. Implicative models of set theory. ENTICS. Volume 3 - Proceedings of MFPS XXXIX, pp. 16-1--16-16 (2023) MR4857425

• [MaiMR2] Maria Emilia Maietti, Samuele Maschio, Michael Rathjen. Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice.  Logical methods in computer science, Volume 18, Issue 4, 2022, pp. 5:1–5:28 (2022) MR4509694

• [MSab]  Maschio, S., Sabelli, P. . On the Compatibility Between the Minimalist Foundation and Constructive Set Theory. In: Berger, U., Franklin, J.N.Y., Manea, F., Pauly, A. (eds) Revolutions and Revelations in Computability. CiE 2022. Lecture Notes in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-031-08740-0_15 errata corrige. (2022) MR4501261

• [M8] Samuele Maschio. A categorical reading of the numerical existence property in constructive foundations. in "Objects, structures, and Logic", Boston Studies in the Philosopy and History of Science,  pp 349-363 (2022). MR4404390

• [MaiM3] Maria Emilia Maietti,  Samuele Maschio. A predicative variant of Hyland's effective topos. Journal of symbolic logic, 86(2), 433-447, (2021) MR4328013 

• [CKM] Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio. Factorizing the Top-Loc adjunction through positive topologies. Archive for Mathematical Logic.  Volume 60, issue 7-8, 981-994 (2021) . MR4323605

• [MaiMR1] Maria Emilia Maietti, Samuele Maschio, Michael Rathjen. A realizability semantics for inductive formal topologies, Church's thesis and Axiom of Choice.  Logical methods in computer science. 17(2), (2021) MR4269884 

• [MSam] Samuele Maschio, Giovanni Sambin. Topology as faithful communication through relations.  Fundamenta Informaticae 176 (1), 61-78 (2020).  MR4188707

• [M7] Samuele Maschio. Natural density and probability, constructively. Reports on Mathematical Logic, 55, 41-59 (2020). MR4183416

• [M6] Samuele Maschio. Numerical existence property and categories with an internal copy.  Logica Universalis, 14(3), 383-394 (2020)  errata corrige and comments  MR4131572

• [CM2] Francesco Ciraulo, Samuele Maschio. Solving knights-and-knaves with one equation. College Mathematical Journal, vol 51(2), 82-89 (2020)  1st NextGenerationPrize winner. MR4068923

• [IMaiMSt] 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, Archive for Mathematical Logic, 57(7-8), 873-888 (2018).  errata corrige. MR3850688

• [MaiM2] Maria Emilia Maietti, Samuele Maschio. A predicative variant of a realizability tripos for the Minimalist Foundation. In "Proof, Truth, Computation", special issue of IfColog Journal of Logics and their applications, 3(4), 595-667 (2016). 

• [MaiM1] Maria Emilia Maietti, Samuele Maschio. An extensional Kleene realizability semantics for the Minimalist Foundation. TYPES 2014, LIPIcs, 2015, 39, 162-186 (2015).  revised version. MR3448085

• [MSt] Samuele Maschio, Thomas Streicher. Models of intuitionistic set theory in subtoposes of nested realizability toposes. Annals of Pure and Applied Logic, 166(6), 729-739 (2015). MR3325573

• [M2] Samuele Maschio. On the distinction between sets and classes: a categorical perspective. Chapter 10 in "From Logic to Practice", Boston Studies in the Philosopy and History of Science (2015).  errata corrige. MR3329899

• [M1] Samuele Maschio. Aspects of set theory within a category. Scientifica Acta 6(1), MS 21-28 (2013).