2 citations · 6 across the 11 of their papers we have counts for
Showing 2016 · math.CTShow all
2 papers · 2 filters
math.CT2016
Hilbertian Toposes Epsilon Toposes
Fabio Pasquali
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.
math.CT2016
A tripos based on compact Hausdorff spaces
Fabio Pasquali
The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.