Hilbertian Toposes Epsilon Toposes
arXiv:1603.00822
Abstract
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.
arXiv:1603.00822
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.