A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus
type: Item
instance of: scholarly article
title: A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus
author: Fabio Pasquali
published in: Annals of Pure and Applied Logic
publication date: 2019-02-04T00:00:00Z
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 7011461
zbMATH Keywords: Hilbert's epsilon calculus
zbMATH Keywords: categorical logic
MaRDI profile type: Publication
full work available at URL: j.apal.2018.11.003
OpenAlex ID: W2901350662
cites work: Q5354752
cites work: Are there enough injective sets?
cites work: Hilbert's ϵ‐operator in intuitionistic type theories
cites work: Axiom of Choice and Complementation
cites work: Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
cites work: Categorical logic and type theory
cites work: Injective power objects and the axiom of choice
cites work: Adjointness in Foundations
cites work: Elementary quotient completion
cites work: Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
cites work: Unifying exact completions
cites work: Epsilon substitution for first- and second-order predicate logic
cites work: Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
cites work: A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms
cites work: On a generalization of equilogical spaces
cites work: Tripos theory in retrospect
cites work: Handbook of logic in computer science. Vol. 5: Logical and algebraic methods
cites work: Q3001106
cites work: Realizability. An introduction to its categorical side
DOI: 10.1016/J.APAL.2018.11.003
description: scientific article; zbMATH DE number 7011461