Talk:Set theory/Draft: Revision history

22 May 2010

• curprev 12:4112: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 13:4613:46, 20 May 2010‎ imported>Boris Tsirelson‎ 3,064 bytes +694‎ Yes, ZF cannot be finitely axiomatised
• curprev 13:3313:33, 20 May 2010‎ imported>Boris Tsirelson‎ 2,756 bytes +386‎ Consistent relative to what?
• curprev 13:1613:16, 20 May 2010‎ imported>Boris Tsirelson‎ 2,370 bytes +2,274‎ found a source
• curprev 05:4405:44, 20 May 2010‎ imported>Mark Wainwright‎ 1,770 bytes +1,674‎ That'd be great

18 May 2010

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

9 May 2010

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

8 May 2010

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

16 September 2009

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

17 June 2009

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