Talk:Set theory/Draft: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (some minor errors) |
imported>Mark Wainwright (That'd be great) |
||
| Line 6: | Line 6: | ||
::Are you sure the world needs nothing else? :-) [[User:Boris Tsirelson|Boris Tsirelson]] 07:57, 9 May 2010 (UTC) | ::Are you sure the world needs nothing else? :-) [[User:Boris Tsirelson|Boris Tsirelson]] 07:57, 9 May 2010 (UTC) | ||
:::It may well do, but perhaps nothing that I am so easily able to supply. [[User:Mark Wainwright|Mark Wainwright]] 10:44, 20 May 2010 (UTC) | |||
Probably this article is approvable. For now I am not ready to approve it, because some finer points are beyond my competence. I understand the given text about that, but I have no other sources to be sure. Namely: | Probably this article is approvable. For now I am not ready to approve it, because some finer points are beyond my competence. I understand the given text about that, but I have no other sources to be sure. Namely: | ||
| Line 13: | Line 15: | ||
*"NFU, whose consistency is implied by that of simple type theory". | *"NFU, whose consistency is implied by that of simple type theory". | ||
[[User:Boris Tsirelson|Boris Tsirelson]] 08:19, 18 May 2010 (UTC) | [[User:Boris Tsirelson|Boris Tsirelson]] 08:19, 18 May 2010 (UTC) | ||
:That would be great. A web search suggests I was completely wrong about Limitation of Size and it was von Neumann. Also if http://planetmath.org/encyclopedia/Class.html is correct I shouldn't have claimed it as subsuming Powerset. I've amended the article accordingly. Thanks for the glitches below, which I see someone has fixed now. I can't provide references but I'll e-mail you if I can work out how. [[User:Mark Wainwright|Mark Wainwright]] 10:44, 20 May 2010 (UTC) | |||
Also I observe some minor errors: | Also I observe some minor errors: | ||
Revision as of 04:44, 20 May 2010
Nice work! Boris Tsirelson 18:22, 16 September 2009 (UTC)
- Thanks! I only joined CZ because I thought the world needed a decent introductory account of set theory :-) Mark Wainwright 04:22, 9 May 2010 (UTC)
- Are you sure the world needs nothing else? :-) Boris Tsirelson 07:57, 9 May 2010 (UTC)
- It may well do, but perhaps nothing that I am so easily able to supply. Mark Wainwright 10:44, 20 May 2010 (UTC)
Probably this article is approvable. For now I am not ready to approve it, because some finer points are beyond my competence. I understand the given text about that, but I have no other sources to be sure. Namely:
- "An ingenious axiom of Goedel's, Limitation of Size";
- "Montague proved in 1961 that ZF cannot be finitely axiomatised";
- "NF ... is finitely axiomatisable";
- "NFU, whose consistency is implied by that of simple type theory".
Boris Tsirelson 08:19, 18 May 2010 (UTC)
- That would be great. A web search suggests I was completely wrong about Limitation of Size and it was von Neumann. Also if http://planetmath.org/encyclopedia/Class.html is correct I shouldn't have claimed it as subsuming Powerset. I've amended the article accordingly. Thanks for the glitches below, which I see someone has fixed now. I can't provide references but I'll e-mail you if I can work out how. Mark Wainwright 10:44, 20 May 2010 (UTC)
Also I observe some minor errors:
- "difference X-Y or X\Y contains of all those" — either "consists of all" or "contains all", I guess;
- "X∪Y ={x|P and Q}, X∩Y={x|P or Q}" — swap them.
Boris Tsirelson 08:34, 18 May 2010 (UTC)