A categorical reading of the numerical existence property in constructive foundations

DOI10.1007/978-3-030-84706-7_14OpenAlexW4244884932MaRDI QIDQ2080594

Samuele Maschio

Publication date: 9 October 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-84706-7_14

zbMATH Keywords

internal categoriesconstructivismexistence properties

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Techniques of constructive analysis
• Realizability. An introduction to its categorical side
• A minimalist two-level foundation for constructive mathematics
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Realizability and recursive set theory
• Constructivism in mathematics. An introduction. Volume II
• Sheaves in geometry and logic: a first introduction to topos theory
• 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
• Elementary quotient completion
• On the Distinction Between Sets and Classes: A Categorical Perspective
• An extensional Kleene realizability semantics for the Minimalist Foundation
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory
• Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics
• On the interpretation of intuitionistic number theory

This page was built for publication: A categorical reading of the numerical existence property in constructive foundations