Hilbertian Toposes Epsilon Toposes
Category Theory
2016-03-03 v1
Abstract
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.
Cite
@article{arxiv.1603.00822,
title = {Hilbertian Toposes Epsilon Toposes},
author = {Fabio Pasquali},
journal= {arXiv preprint arXiv:1603.00822},
year = {2016}
}