A topos for a nonstandard functional interpretation
Benno van den Berg
TL;DR
This paper introduces a new topos to provide a semantic framework for a nonstandard functional interpretation, enhancing understanding of its theoretical foundations.
Contribution
It presents a novel topos that offers a semantic account of a specific nonstandard functional interpretation, bridging category theory and logic.
Findings
Developed a new topos model for nonstandard functional interpretation
Provided semantic insights into the interpretation's structure
Bridged categorical and logical perspectives
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical and Theoretical Analysis · Advanced Topology and Set Theory · History and Theory of Mathematics