Total sets and objects in domain theory, Annals of Pure and Applied Logic 60 (1993)

by U Berger