Jump to content

Talk:Constructive set theory

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Arthur Rubin (talk | contribs) at 08:24, 7 May 2006 (→Disputed: correct...). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Disputed

I'm willing to take your word as to Myhill's theories, but it's only equivalent to a one-sorted theory (with additional predicates) if functions are also (equal to) sets, and ℕ is also equal to a set.

Furthermore, in classical set theory, the power set of a set X is equivalent to the set of functions from X to 2. — Arthur Rubin | (talk) 08:04, 7 May 2006 (UTC)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Constructive_set_theory&oldid=51954034"