Talk:Set theory/Draft: Difference between revisions
imported>Mark Wainwright (That'd be great) |
imported>Boris Tsirelson (found a source) |
||
| Line 22: | Line 22: | ||
*"X∪Y ={x|P and Q}, X∩Y={x|P or Q}" — swap them. | *"X∪Y ={x|P and Q}, X∩Y={x|P or Q}" — swap them. | ||
[[User:Boris Tsirelson|Boris Tsirelson]] 08:34, 18 May 2010 (UTC) | [[User:Boris Tsirelson|Boris Tsirelson]] 08:34, 18 May 2010 (UTC) | ||
------------------------------------------ | |||
Being advised by Mark (the author) I have found a source for "NF ... is finitely axiomatisable" [http://math.boisestate.edu/~holmes/holmes/nf.html here]: "Stratified comprehension is an axiom scheme, which can be replaced with finitely many of its instances (a result of Hailperin). Using the finite axiomatization removes the necessity of referring to types at all in the definition of this theory." | |||
:Hailperin, T. [1944] A set of axioms for logic. Journal of Symbolic Logic 9, pp. 1-19. | |||
[[User:Boris Tsirelson|Boris Tsirelson]] 18:16, 20 May 2010 (UTC) | |||
Revision as of 12:16, 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)
Being advised by Mark (the author) I have found a source for "NF ... is finitely axiomatisable" here: "Stratified comprehension is an axiom scheme, which can be replaced with finitely many of its instances (a result of Hailperin). Using the finite axiomatization removes the necessity of referring to types at all in the definition of this theory."
- Hailperin, T. [1944] A set of axioms for logic. Journal of Symbolic Logic 9, pp. 1-19.
Boris Tsirelson 18:16, 20 May 2010 (UTC)