Hilbertian Toposes Epsilon Toposes
Fabio Pasquali

TL;DR
This paper explores the properties and implications of Hilbert's epsilon calculus within the framework of topos theory, focusing on epsilon toposes and their mathematical structure.
Contribution
It introduces the concept of Hilbertian toposes and analyzes their properties, extending the understanding of epsilon calculus in categorical settings.
Findings
Characterization of Hilbertian toposes
Connections between epsilon calculus and topos theory
Foundations for further categorical logic research
Abstract
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.
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
TopicsDermatological and Skeletal Disorders
