Colimit completions and the effective topos (1990)

by Edmund Robinson, Giuseppe Rosolini
Venue:J. Symbolic Logic