Search Results

1 - 1 of 1 items :

Clear All
Triposes, exact completions, and Hilbert's ε-operator

.E. Maietti and G. Rosolini. Quotient completion for the foundation of constructive mathematics. Log. Univers., 7(3):371-402, 2013. [MR15] M.E. Maietti and G. Rosolini. Unifying exact completions. Appl. Categ. Structures, 23:43-52, 2015. [MR16] M.E. Maietti and G. Rosolini. Relating quotient completions via categorical logic. In Dieter Probst and Peter Schuster (eds.), editors, Concepts of Proof in Mathematics, Philosophy, and Computer Science, pages 229-250. De Gruyter, 2016. [Pas15a] F. Pasquali. A co

Open access