Talk:Set theory/Draft: Revision history

29 May 2010

• curprev 20:3020:30, 29 May 2010‎ imported>D. Matt Innis‎ 31,749 bytes +115‎ →‎Toward Approval: added version #
• curprev 20:2620:26, 29 May 2010‎ imported>D. Matt Innis‎ m 31,634 bytes +1,961‎ →‎Toward Approval
• curprev 20:2520:25, 29 May 2010‎ imported>D. Matt Innis‎ 31,632 bytes +1,959‎ →‎Toward Approval: new section
• curprev 18:1018:10, 29 May 2010‎ imported>Peter Schmitt‎ 29,673 bytes +8,874‎ →‎No more changes for this approval: a compromise?
• curprev 17:4217:42, 29 May 2010‎ imported>Peter Schmitt‎ 29,466 bytes +8,667‎ →‎Could do with some references: nothing was wrong -- no need to apologise
• curprev 17:1217:12, 29 May 2010‎ imported>Hayford Peirce‎ 28,400 bytes +7,601‎ →‎Could do with some references: as an author, I'm in Tom's corner on this one
• curprev 16:1016:10, 29 May 2010‎ imported>Tom Morris‎ 28,040 bytes +7,241‎ →‎Could do with some references
• curprev 16:0016:00, 29 May 2010‎ imported>Tom Morris‎ 27,938 bytes +7,139‎ →‎Could do with some references
• curprev 15:5615:56, 29 May 2010‎ imported>Hayford Peirce‎ 20,799 bytes +11,584‎ →‎No more changes for this approval: a pretty good summing up
• curprev 14:5014:50, 29 May 2010‎ imported>Jess Key‎ 20,524 bytes +2,909‎ →‎No more changes for this approval: Unnecessary?
• curprev 13:3613:36, 29 May 2010‎ imported>Boris Tsirelson‎ 18,019 bytes +404‎ →‎No more changes for this approval: new section
• curprev 12:3212:32, 29 May 2010‎ imported>Hayford Peirce‎ 17,615 bytes +463‎ →‎Could do with some references: not really
• curprev 12:1212:12, 29 May 2010‎ imported>Howard C. Berkowitz‎ 17,475 bytes +323‎ →‎Could do with some references
• curprev 11:2811:28, 29 May 2010‎ imported>Boris Tsirelson‎ m 17,152 bytes +5,688‎ →‎Could do with some references
• curprev 10:4910:49, 29 May 2010‎ imported>Boris Tsirelson‎ 17,117 bytes +1,791‎ →‎Could do with some references: the fuss and bustle
• curprev 10:4410:44, 29 May 2010‎ imported>Mark Wainwright‎ 16,658 bytes +1,332‎ Seconded comments about links and metaphysics
• curprev 09:1609:16, 29 May 2010‎ imported>Peter Schmitt‎ 15,326 bytes +910‎ →‎Could do with some references: comments on Tom's changes -- what do you think, Boris?
• curprev 08:3608:36, 29 May 2010‎ imported>Tom Morris‎ 14,416 bytes +2,952‎ →‎Could do with some references: new section
• curprev 03:2903:29, 29 May 2010‎ imported>Peter Schmitt‎ 13,978 bytes +1,490‎ →‎Approval date: bibliography, and on approvals in general

28 May 2010

• curprev 23:0023:00, 28 May 2010‎ imported>Hayford Peirce‎ 13,052 bytes +564‎ →‎Approval date: if we don't have Approved articles, at least in principle, then how are we different from WP?
• curprev 22:2922:29, 28 May 2010‎ imported>Pat Palmer‎ 12,488 bytes +1,024‎ reference now OK plus some comments about Approvals in general

27 May 2010

• curprev 11:0511:05, 27 May 2010‎ imported>Peter Schmitt‎ 11,464 bytes +289‎ →‎Power set and Cantor: let us treat all cases the same
• curprev 09:4209:42, 27 May 2010‎ imported>Hayford Peirce‎ 11,175 bytes +1,960‎ →‎Approval date: I was using Pat's comment as a general example
• curprev 09:2809:28, 27 May 2010‎ imported>Mark Wainwright‎ 10,460 bytes +1,245‎ answers and thanks

26 May 2010

• curprev 16:4716:47, 26 May 2010‎ imported>Peter Schmitt‎ 9,215 bytes +3,465‎ →‎References: new section
• curprev 16:3616:36, 26 May 2010‎ imported>Peter Schmitt‎ m 8,467 bytes +2,717‎ →‎Approval date: formatting (indent)
• curprev 16:3516:35, 26 May 2010‎ imported>Peter Schmitt‎ 8,466 bytes +475‎ →‎Approval date: reply
• curprev 16:0316:03, 26 May 2010‎ imported>Hayford Peirce‎ 7,991 bytes +844‎ →‎Approval date: my thoughts on the Approval process and updating
• curprev 15:5515:55, 26 May 2010‎ imported>Howard C. Berkowitz‎ 7,147 bytes +581‎ No edit summary
• curprev 15:4415:44, 26 May 2010‎ imported>Pat Palmer‎ 6,815 bytes +249‎ comment on approval issue
• curprev 13:4613:46, 26 May 2010‎ imported>Boris Tsirelson‎ 6,566 bytes +816‎ →‎Approval date: charter that defines all
• curprev 13:3113:31, 26 May 2010‎ imported>Peter Schmitt‎ 6,356 bytes +606‎ →‎Approval date: it does not matter -- but I do not understand why
• curprev 11:0911:09, 26 May 2010‎ imported>Hayford Peirce‎ 5,750 bytes +2,313‎ →‎Approval date: new section

25 May 2010

• curprev 09:2009:20, 25 May 2010‎ imported>Peter Schmitt‎ 5,051 bytes +364‎ →‎Power set and Cantor: oops -- yes
• curprev 09:0509:05, 25 May 2010‎ imported>Peter Schmitt‎ 4,687 bytes +391‎ →‎Notation
• curprev 08:4808:48, 25 May 2010‎ imported>Peter Jackson‎ 4,296 bytes +305‎ →‎Notation: new section
• curprev 07:5207:52, 25 May 2010‎ imported>Boris Tsirelson‎ 3,991 bytes +110‎ →‎Power set and Cantor: I see. (But "1973" means "1873", I guess.)
• curprev 07:3707:37, 25 May 2010‎ imported>Peter Schmitt‎ 3,881 bytes +444‎ →‎Power set and Cantor: new section

22 May 2010

• curprev 11:4511:45, 22 May 2010‎ imported>Boris Tsirelson‎ 3,540 bytes +103‎ now I am ready to approve
• curprev 11:4111:41, 22 May 2010‎ imported>Boris Tsirelson‎ 3,437 bytes +3,341‎ consistency of NFU is implied by that of simple type theory

20 May 2010

• curprev 12:4612:46, 20 May 2010‎ imported>Boris Tsirelson‎ 3,064 bytes +694‎ Yes, ZF cannot be finitely axiomatised
• curprev 12:3312:33, 20 May 2010‎ imported>Boris Tsirelson‎ 2,756 bytes +386‎ Consistent relative to what?
• curprev 12:1612:16, 20 May 2010‎ imported>Boris Tsirelson‎ 2,370 bytes +2,274‎ found a source
• curprev 04:4404:44, 20 May 2010‎ imported>Mark Wainwright‎ 1,770 bytes +1,674‎ That'd be great

18 May 2010

• curprev 02:3402:34, 18 May 2010‎ imported>Boris Tsirelson‎ 1,155 bytes +260‎ some minor errors
• curprev 02:1902:19, 18 May 2010‎ imported>Boris Tsirelson‎ 895 bytes +799‎ probably approvable but

9 May 2010

• curprev 01:5701:57, 9 May 2010‎ imported>Boris Tsirelson‎ 386 bytes +115‎ No edit summary

8 May 2010

• curprev 22:2222:22, 8 May 2010‎ imported>Mark Wainwright‎ 271 bytes +175‎ No edit summary

16 September 2009

• curprev 12:2212:22, 16 September 2009‎ imported>Boris Tsirelson‎ 96 bytes +96‎ Nice work

17 June 2009

• curprev 16:0716:07, 17 June 2009‎ imported>Howard C. Berkowitz‎ 12 bytes +12‎ New page: {{subpages}}