activity
20122025
most citedInductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

4 citations · 11 across the 14 of their papers we have counts for

collaborators
Showing 2018Show all

3 papers · 1 filter

math.GN2018

Factorizing the Top-Loc adjunction through positive topologies

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

We characterize the category of Sambin's positive topologies as a fibration over the category of locales Loc. The fibration is obtained by applying the Grothendieck construction to…

math.LO2018

A predicative variant of Hyland's Effective Topos

Maria Emilia Maietti, Samuele Maschio

Here, we present a subcategory pEff of Hyland's Effective Topos Eff which can be considered a predicative variant of Eff itself. The construction of pEff is motivated by the desire…

math.LO2018

Natural density and probability, constructively

Samuele Maschio

We give here a constructive account of the frequentist approach to probability, by means of natural density. Using this notion of natural density, we introduce some probabilistic v…