nLab
Recently Revised

May 7, 2012

• COSHEP ( diff | history )
  by David Roberts at May 7, 2012 10:12:12 from 203.24.207.68

May 4, 2012

• WISC ( diff | history )
  by Mike Shulman at May 4, 2012 22:33:42 from 71.136.234.110
• regular extension axiom
  by Mike Shulman at May 4, 2012 22:10:27 from 71.136.234.110

March 15, 2012

• axiom of choice ( diff | history )
  by Urs Schreiber at March 15, 2012 07:09:04 from 82.169.65.155

March 13, 2012

• axiom of multiple choice ( diff | history )
  by Toby Bartels at March 13, 2012 02:32:41 from 75.88.85.16

March 12, 2012

• axiom of replacement ( diff | history )
  by Urs Schreiber at March 12, 2012 09:20:57 from 82.113.106.5

March 10, 2012

• transitive set ( diff | history )
  by Toby Bartels at March 10, 2012 03:04:32 from 75.88.85.16

January 5, 2012

• disjoint union ( diff | history )
  by Urs Schreiber at January 5, 2012 20:04:20 from 89.204.138.119

December 22, 2011

• supercompact cardinal ( diff | history )
  by David Roberts at December 22, 2011 08:10:35 from 203.24.207.65

November 17, 2011

• function set ( diff | history )
  by Urs Schreiber at November 17, 2011 18:24:20 from 131.220.133.61

October 20, 2011

• axiom of separation ( diff | history )
  by Toby Bartels at October 20, 2011 01:11:46 from 64.89.53.218

October 9, 2011

• empty set ( diff | history )
  by Toby Bartels at October 9, 2011 09:37:05 from 216.170.5.99

September 30, 2011

• Grothendieck universe ( diff | history )
  by Chris Waggoner? at September 30, 2011 08:51:06 from 67.158.6.115

September 5, 2011

• small violations of choice ( diff | history )
  by Toby Bartels at September 5, 2011 16:16:53 from 75.88.82.16
• axiom of union ( diff | history )
  by Toby Bartels at September 5, 2011 16:12:11 from 75.88.82.16
• axiom of pairing ( diff | history )
  by Toby Bartels at September 5, 2011 16:10:09 from 75.88.82.16
• ETCS ( diff | history )
  by Toby Bartels at September 5, 2011 15:38:31 from 75.88.82.16
• power set ( diff | history )
  by Toby Bartels at September 5, 2011 15:35:34 from 75.88.82.16
• axiom of foundation ( diff | history )
  by Toby Bartels at September 5, 2011 15:21:48 from 75.88.82.16
• countable choice ( diff | history )
  by Toby Bartels at September 5, 2011 15:20:34 from 75.88.82.16
• subset collection ( diff | history )
  by Toby Bartels at September 5, 2011 15:19:28 from 75.88.82.16

August 4, 2011

• Markov's principle ( diff | history )
  by Toby Bartels at August 4, 2011 03:35:33 from 76.85.192.183

July 19, 2011

• small cardinality selection axiom ( diff | history )
  by Toby Bartels at July 19, 2011 00:46:42 from 76.85.192.183

March 29, 2011

• quotient set ( diff | history )
  by Toby Bartels at March 29, 2011 22:52:44 from 69.171.178.80

February 17, 2011

• Vopěnka's principle ( diff | history )
  by Mike Shulman at February 17, 2011 18:06:16 from 71.136.229.247

October 29, 2010

• excluded middle ( diff | history )
  by Urs Schreiber at October 29, 2010 07:20:14 from 87.212.203.135

October 28, 2010

• axiom of infinity ( diff | history )
  by Urs Schreiber at October 28, 2010 23:01:49 from 87.212.203.135

August 16, 2010

• choice operator ( diff | history )
  by Toby Bartels at August 16, 2010 19:43:19 from 64.89.60.146

May 30, 2010

• dependent choice ( diff | history )
  by Toby Bartels at May 30, 2010 16:49:25 from 98.16.135.110

February 2, 2010

• Mostowski's collapsing lemma ( diff | history )
  by Toby Bartels at February 2, 2010 21:19:13 from 173.60.119.197

April 17, 2009

• axiom of extensionality
  by Toby Bartels at April 17, 2009 06:57:03 from 71.104.234.95