A topos for a nonstandard functional interpretation
Category Theory
2013-01-17 v1 Logic
Abstract
We introduce a new topos in order to give a semantic account of the nonstandard functional interpretation introduced by Eyvind Briseid, Pavol Safarik and the author.
Cite
@article{arxiv.1301.3679,
title = {A topos for a nonstandard functional interpretation},
author = {Benno van den Berg},
journal= {arXiv preprint arXiv:1301.3679},
year = {2013}
}