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, constructivelyto 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.StreicherConsistency 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. MaschioMind 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, LinkArxiv report 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. LinkArxiv previous version WoS, MSN
    • S. Maschio. Aspects of set theory within a categoryScientifica Acta 6(1) MS 21-28, 2013. Link Paper   

    Books

    Translations
     












    Phd Thesis
    • S. Maschio. Aspects of internal set theoryPhD Thesis, Università degli Studi di Pavia. 
    Submitted
    • S.Maschio. 
      Remarks on indexed relations arising from partial applicative structures