Church (1974, p. 308). See also Forster (1995, p. 136), Forster (2001, p. 17), and Sheridan (2016). Church, Alonzo (1974). "Set theory with a universal set". Proceedings of the Tarski Symposium: An international symposium held at the University of California, Berkeley, June 23–30, 1971, to honor Alfred Tarski on the occasion of his seventieth birthday. Proceedings of Symposia in Pure Mathematics. Vol. 25. Providence, Rhode Island: American Mathematical Society. pp. 297–308. MR0369069. Forster, T. E. (1995). Set Theory with a Universal Set: Exploring an Untyped Universe. Oxford Logic Guides. Vol. 31. Oxford University Press. ISBN0-19-851477-8. Forster, Thomas (2001). "Church's set theory with a universal set". In Anderson, C. Anthony; Zelëny, Michael (eds.). Logic, Meaning and Computation: Essays in Memory of Alonzo Church. Synthese Library. Vol. 305. Dordrecht: Kluwer Academic Publishers. pp. 109–138. MR2067968. Sheridan, Flash (2016). "A variant of Church's set theory with a universal set in which the singleton function is a set"(PDF). Logique et Analyse. 59 (233): 81–131. JSTOR26767819. MR3524800.
Holmes (1998), p. 110. Holmes, M. Randall (1998). Elementary set theory with a universal set. Cahiers du Centre de Logique [Reports of the Center of Logic]. Vol. 10. Université Catholique de Louvain, Département de Philosophie, Louvain-la-Neuve. ISBN2-87209-488-1. MR1759289.
cahiersdelogique.be
Church (1974, p. 308). See also Forster (1995, p. 136), Forster (2001, p. 17), and Sheridan (2016). Church, Alonzo (1974). "Set theory with a universal set". Proceedings of the Tarski Symposium: An international symposium held at the University of California, Berkeley, June 23–30, 1971, to honor Alfred Tarski on the occasion of his seventieth birthday. Proceedings of Symposia in Pure Mathematics. Vol. 25. Providence, Rhode Island: American Mathematical Society. pp. 297–308. MR0369069. Forster, T. E. (1995). Set Theory with a Universal Set: Exploring an Untyped Universe. Oxford Logic Guides. Vol. 31. Oxford University Press. ISBN0-19-851477-8. Forster, Thomas (2001). "Church's set theory with a universal set". In Anderson, C. Anthony; Zelëny, Michael (eds.). Logic, Meaning and Computation: Essays in Memory of Alonzo Church. Synthese Library. Vol. 305. Dordrecht: Kluwer Academic Publishers. pp. 109–138. MR2067968. Sheridan, Flash (2016). "A variant of Church's set theory with a universal set in which the singleton function is a set"(PDF). Logique et Analyse. 59 (233): 81–131. JSTOR26767819. MR3524800.
cam.ac.uk
dpmms.cam.ac.uk
Church (1974, p. 308). See also Forster (1995, p. 136), Forster (2001, p. 17), and Sheridan (2016). Church, Alonzo (1974). "Set theory with a universal set". Proceedings of the Tarski Symposium: An international symposium held at the University of California, Berkeley, June 23–30, 1971, to honor Alfred Tarski on the occasion of his seventieth birthday. Proceedings of Symposia in Pure Mathematics. Vol. 25. Providence, Rhode Island: American Mathematical Society. pp. 297–308. MR0369069. Forster, T. E. (1995). Set Theory with a Universal Set: Exploring an Untyped Universe. Oxford Logic Guides. Vol. 31. Oxford University Press. ISBN0-19-851477-8. Forster, Thomas (2001). "Church's set theory with a universal set". In Anderson, C. Anthony; Zelëny, Michael (eds.). Logic, Meaning and Computation: Essays in Memory of Alonzo Church. Synthese Library. Vol. 305. Dordrecht: Kluwer Academic Publishers. pp. 109–138. MR2067968. Sheridan, Flash (2016). "A variant of Church's set theory with a universal set in which the singleton function is a set"(PDF). Logique et Analyse. 59 (233): 81–131. JSTOR26767819. MR3524800.
Church (1974, p. 308). See also Forster (1995, p. 136), Forster (2001, p. 17), and Sheridan (2016). Church, Alonzo (1974). "Set theory with a universal set". Proceedings of the Tarski Symposium: An international symposium held at the University of California, Berkeley, June 23–30, 1971, to honor Alfred Tarski on the occasion of his seventieth birthday. Proceedings of Symposia in Pure Mathematics. Vol. 25. Providence, Rhode Island: American Mathematical Society. pp. 297–308. MR0369069. Forster, T. E. (1995). Set Theory with a Universal Set: Exploring an Untyped Universe. Oxford Logic Guides. Vol. 31. Oxford University Press. ISBN0-19-851477-8. Forster, Thomas (2001). "Church's set theory with a universal set". In Anderson, C. Anthony; Zelëny, Michael (eds.). Logic, Meaning and Computation: Essays in Memory of Alonzo Church. Synthese Library. Vol. 305. Dordrecht: Kluwer Academic Publishers. pp. 109–138. MR2067968. Sheridan, Flash (2016). "A variant of Church's set theory with a universal set in which the singleton function is a set"(PDF). Logique et Analyse. 59 (233): 81–131. JSTOR26767819. MR3524800.