Talk:Set theory/Draft: Revision history

22 May 2010

• 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}}