Sfoglia per Autore
Tecniche dimostrative. La logica incontra la matematica.
2019 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
Mind the gap. Sull’Ipotesi del Continuo
2018 Maschio, Samuele
Cavalieri e furfanti? Basta un'equazione!
2017 Ciraulo, Francesco; Maschio, Samuele
Curiosità, sfida e cooperazione. Una strategia didattica per le gare matematiche.
2017 Maschio, Samuele
A predicative variant of a realizability tripos for the Minimalist Foundation.
2016 Maietti, MARIA EMILIA; Maschio, Samuele
Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes
2015 Maschio, Samuele; Streicher, Thomas
On the distinction between sets and classes: a categorical perspective
2015 Maschio, Samuele
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
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile