The Gleason cover of a topos. I
order-completion of the Dedekind real numbers
scientific article; zbMATH DE number 3695433
scientific article