Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Constructing Cantorian Counterexamples

George Boolos
Journal of Philosophical Logic
Vol. 26, No. 3 (Jun., 1997), pp. 237-239
Published by: Springer
Stable URL: http://www.jstor.org/stable/30227093
Page Count: 3
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Constructing Cantorian Counterexamples
Preview not available

Abstract

Cantor's diagonal argument provides an indirect proof that there is no one-one function from the power set of a set A into A. This paper provides a somewhat more constructive proof of Cantor's theorem, showing how, given a function f from the power set of A into A, one can explicitly define a counterexample to the thesis that f is one-one.

Page Thumbnails

  • Thumbnail: Page 
[237]
    [237]
  • Thumbnail: Page 
238
    238
  • Thumbnail: Page 
239
    239