A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus

DOI10.1016/j.apal.2018.11.003OpenAlexW2901350662MaRDI QIDQ1715476

Fabio Pasquali

Publication date: 4 February 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2018.11.003

zbMATH Keywords

categorical logicHilbert's epsilon calculus

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Cites Work

• Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
• A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms
• Injective power objects and the axiom of choice
• Realizability. An introduction to its categorical side
• Categorical logic and type theory
• On a generalization of equilogical spaces
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Epsilon substitution for first- and second-order predicate logic
• Unifying exact completions
• Are there enough injective sets?
• Factorization systems and fibrations
• Elementary quotient completion
• Tripos theory in retrospect
• Axiom of Choice and Complementation
• Adjointness in Foundations
• Hilbert's ϵ‐operator in intuitionistic type theories
• Unnamed Item
• Unnamed Item
• Unnamed Item