A topos for a nonstandard functional interpretation
classification
🧮 math.CT
math.LO
keywords
functionalinterpretationnonstandardtoposaccountauthorbriseideyvind
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.