A categorical reading of the numerical existence property in constructive foundations
From MaRDI portal
Publication:2080594
DOI10.1007/978-3-030-84706-7_14OpenAlexW4244884932MaRDI QIDQ2080594FDOQ2080594
Publication date: 9 October 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-84706-7_14
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sheaves in geometry and logic: a first introduction to topos theory
- Elementary quotient completion
- Techniques of constructive analysis
- On the interpretation of intuitionistic number theory
- Realizability. An introduction to its categorical side
- Constructivism in mathematics. An introduction. Volume II
- A minimalist two-level foundation for constructive mathematics
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory
- Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics
- Realizability and recursive set theory
- An extensional Kleene realizability semantics for the Minimalist Foundation
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- Numerical existence property and categories with an internal copy
- CZF does not have the existence property
- On the Distinction Between Sets and Classes: A Categorical Perspective
This page was built for publication: A categorical reading of the numerical existence property in constructive foundations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2080594)
