23 citations · 34 across the 7 of their papers we have counts for
3 papers · 1 filter
Quasitoposes as elementary quotient completions
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
The elementary quotient completion of an elementary doctrine in the sense of Lawvere was introduced in previous work by the first and third authors. It generalises the exact comple…
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…
Quotient completion for the foundation of constructive mathematics
Maria Emilia Maietti, Giuseppe Rosolini
We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional t…