PUBLICATIONS

• S.Maschio. A categorical reading of the numerical existence property in constructive foundations. Accepted for publication in "Objects, structures, and logics", Boston Studies in the Philosophy and History of Science, Springer
• G.Sambin, S.Maschio. Topology as faithful communication through relations. Accepted for publication in Fundamenta Informaticae
• S.Maschio. Natural density and probability, constructively, to appear in Reports on Mathematical Logic (2020). previous arxiv version
• F.Ciraulo, S.Maschio. Solving knights-and-knaves with one equation. College Mathematics Journal, vol.51(2), 82-89(2020).
• S. Maschio. Emancipare la dimostrazione dalla geometria euclidea nella didattica della matematica.L'insegnamento della matematica e delle scienze integrate, nov-dic 2019, 555-566. 

• H.Ishihara, M.E.Maietti, S. Maschio, T.Streicher. Consistency of the intensional level of the Minimalist Foundation with Church's Thesis and Axiom of Choice, Archive for Mathematical Logic, Volume 57, 7–8, 873–888, 2018. WoS, Scopus, MSN
• S. Maschio. Mind the gap. Sull'ipotesi del continuo, Archimede, 1/2018, 54-59
• S.Maschio. Curiosità, sfida e cooperazione. Una strategia didattica per le gare matematiche. L'insegnamento della matematica e delle scienze integrate, 585-595, nov-dic 2017.
• F.Ciraulo, S.Maschio. Cavalieri e furfanti? Basta un'equazione! Periodico di Matematiche, vol. 9 serie XII anno CXXVII n. 2 mag-ago 2017, 105-115.
•  M.E.Maietti, S.Maschio. A predicative variant of a realizability tripos for the Minimalist Foundation, Proof, Truth, Computation, special issue of IfCoLog journal of Logics and their applications, 3(4), 595-667, 2016. Link  WoS 
• M.E.Maietti, S.Maschio. An extensional Kleene realizability semantics for the Minimalist Foundation, 20th International Conference on Types for Proofs and Programs (TYPES 2014), 162-186, Leibniz International Proceedings in Informatics (LIPIcs), 2015, 39, eds Hugo Herbelin, Pierre Letouzey and Matthieu Sozeau, Schloss Dagstuhl, Leibniz-Zenfrum fuer Informatik, Link, Arxiv report Scopus MSN  

• S.Maschio, T.Streicher. Models of intuitionistic set theory in subtoposes of nested realizability toposes, Annals of Pure and Applied Logic, 166(6), 729-739, 2015, Elsevier. Link, Arxiv previous version. WoS Scopus MSN 

• S.Maschio. On the distinction between sets and classes: a categorical perspective, chapter 10 in From Logic to Practice. Italian Studies in the Philosophy of Mathematics, 185-199, Boston Studies in the Philosophy and History of Science, 2015, 308, eds Gabriele Lolli, Marco Panza and Giorgio Venturi, Springer. Link, Arxiv previous version WoS, MSN
• S. Maschio. Aspects of set theory within a category, Scientifica Acta 6(1) MS 21-28, 2013. Link Paper   

Books

• S. Maschio. Tecniche dimostrative, UMath vol. 6, Scienza Express, 128 pp, 2019. about 2

Translations

• T.Tao. Risolvere problemi matematici. Il mio punto di vista, UMath vol. 8, Scienza Express, 136 pp, 2020. Traduzione di S.Maschio e C.Càssola.

 












Phd Thesis

• S. Maschio. Aspects of internal set theory, PhD Thesis, Università degli Studi di Pavia. 

Submitted

• F.Ciraulo, T.Kawai, S.Maschio. Factorizing the Top-Loc adjunction through positive topologies.
• M.E.Maietti, S.Maschio, M.Rathjen. A realizability semantics for inductive formal topologies, Church's thesis and axiom of choice.
• M.E.Maietti, S.Maschio.  A predicative variant of Hyland's Effective Topos
• S.Maschio. Numerical existence property and categories with an internal copy

• S.Maschio. 
  Remarks on indexed relations arising from partial applicative structures