The Discrete Objects in the Effective Topos

• 1 January 1990
• journal article
• Published by Wiley in Proceedings of the London Mathematical Society
• Vol. s3-60  (1) , 1-36
• https://doi.org/10.1112/plms/s3-60.1.1

Abstract