82 citations · 120 across the 21 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
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★ 1 cited
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Hyland's effective topos offers an important realizability model for constructive mathematics in the form of a category whose internal logic validates Church's Thesis. It also cont…