4 citations · 11 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
Remarks on abstract structures of propositions and realizers
Samuele Maschio
We present here an abstract notion of structure consisting of propositions and realizers (which we call PR-structures) giving rise to set based contravariant functors taking values…
math.LO2019★ 2 cited
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's t…