Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
scientific article; zbMATH DE number 6816533
scientific article