Celebratio Mathematica

Saunders Mac Lane


Works connected to Yiannis Nicolas Moschovakis

Filter the Bibliography List


S. Mac Lane and I. Mo­er­dijk: “Reals and for­cing with an ele­ment­ary topos,” pp. 373–​385 in Lo­gic from com­puter sci­ence (Berke­ley, CA, 13–17 Novem­ber 1989). Edi­ted by Y. N. Moschova­kis. MSRI Pub­lic­a­tions 21. Spring­er (New York), 1992. MR 1236017 Zbl 0756.​03025 incollection