MASCHIO, SAMUELE
MASCHIO, SAMUELE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
A Categorical Reading of the Numerical Existence Property in Constructive Foundations
2022 Maschio, Samuele
A predicative variant of a realizability tripos for the Minimalist Foundation.
2016 Maietti, MARIA EMILIA; Maschio, Samuele
A predicative variant of Hyland's effective topos
2021 Maietti, MARIA EMILIA; Maschio, Samuele
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice
2021 Maietti, MARIA EMILIA; Maschio, Samuele; Rathjen, Michael
An extensional Kleene realizability semantics for the Minimalist Foundation.
2015 Maietti, MARIA EMILIA; Maschio, Samuele
Aspects of internal set theory
2012 Maschio, Samuele
Aspects of set theory within a category
2012 Maschio, Samuele
Cavalieri e furfanti? Basta un'equazione!
2017 Ciraulo, Francesco; Maschio, Samuele
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice
2018 Ishihara, Hajime; Maietti, MARIA EMILIA; Maschio, Samuele; Streicher, Thomas
Curiosità, sfida e cooperazione. Una strategia didattica per le gare matematiche.
2017 Maschio, Samuele
Emancipare la dimostrazione dalla geometria euclidea nella didattica della Matematica.
2019 Maschio, Samuele
Evoluzioni sul trapezio. Dialogo sulla sua natura e importanza.
2022 Ciraulo, Francesco; Maschio, Samuele
Factorizing the Top-Loc adjunction through positive topologies
2021 Ciraulo, Francesco; Kawai, Tatsuji; Maschio, Samuele
I giochi matematici per la scuola primaria: autentici problemi di matematica.
2023 Maschio, Samuele
Implicative models of set theory
2023 Maschio, Samuele; Miquel, Alexandre
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE
2022 Maietti, M. E.; Maschio, S.; Rathjen, M.
Mind the gap. Sull’Ipotesi del Continuo
2018 Maschio, Samuele
Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes
2015 Maschio, Samuele; Streicher, Thomas
Natural density and probability, constructively
2020 Maschio, Samuele
Numerical Existence Property and Categories with an Internal Copy
2020 Maschio, Samuele