A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus |
scientific article |
Statements
A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (English)
0 references
4 February 2019
0 references
Hilbert's epsilon calculus
0 references
categorical logic
0 references
0 references
0 references