Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice H Ishihara, ME Maietti, S Maschio, T Streicher Archive for Mathematical Logic 57 (7), 873-888, 2018 | 22 | 2018 |
An extensional Kleene realizability semantics for the Minimalist Foundation ME Maietti, S Maschio arXiv preprint arXiv:1502.02864, 2015 | 13 | 2015 |
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice ME Maietti, S Maschio, M Rathjen Logical Methods in Computer Science 17, 2021 | 10 | 2021 |
A predicative variant of a realizability tripos for the Minimalist Foundation. ME Maietti, S Maschio THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS 3 (4), 595-667, 2016 | 9 | 2016 |
A predicative variant of Hyland’s Effective Topos ME Maietti, S Maschio The Journal of Symbolic Logic 86 (2), 433-447, 2021 | 7 | 2021 |
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice ME Maietti, S Maschio, M Rathjen Logical Methods in Computer Science 18, 2022 | 5 | 2022 |
Models of intuitionistic set theory in subtoposes of nested realizability toposes S Maschio, T Streicher Annals of Pure and Applied Logic 166 (6), 729-739, 2015 | 4 | 2015 |
Solving knights-and-knaves with one equation F Ciraulo, S Maschio The College Mathematics Journal 51 (2), 82-89, 2020 | 3 | 2020 |
Aspects of internal set theory S Maschio | 2 | 2012 |
On posetal and complete partial applicative structures S Maschio arXiv preprint arXiv:2211.11326, 2022 | 1 | 2022 |
Scelta sociale a scuola. Percorsi di matematica, cittadinanza e costituzione. S Maschio L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE 45 (3), 307-328, 2022 | 1 | 2022 |
Numerical existence property and categories with an internal copy S Maschio Logica Universalis 14, 383-394, 2020 | 1 | 2020 |
Natural density and probability, constructively S Maschio Reports on Mathematical Logic, 41-59, 2020 | 1 | 2020 |
Emancipare la dimostrazione dalla geometria euclidea nella didattica della Matematica. S Maschio L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE, 555-566, 2019 | 1 | 2019 |
On the distinction between sets and classes: A categorical perspective S Maschio From Logic to Practice: Italian Studies in the Philosophy of Mathematics …, 2014 | 1 | 2014 |
On categorical structures arising from implicative algebras: From topology to assemblies S Maschio, D Trotta Annals of Pure and Applied Logic 175 (3), 103390, 2024 | | 2024 |
Implicative models of set theory S Maschio, A Miquel Electronic Notes in Theoretical Informatics and Computer Science 3, 2023 | | 2023 |
Implicative models of intuitionistic set theory S Maschio arXiv preprint arXiv:2301.11740, 2023 | | 2023 |
I giochi matematici per la scuola primaria: autentici problemi di matematica. S Maschio L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE 46 (A), 332-350, 2023 | | 2023 |
Una prospettiva didattica sui modelli matematici nelle scienze sociali. S Maschio L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE 46 (A+ B), 467-481, 2023 | | 2023 |