Skip to main content
5 events
when toggle format what by license comment
Jan 5, 2012 at 23:01 vote accept expmat
Jan 5, 2012 at 22:28 answer added Andreas Blass timeline score: 10
Jan 5, 2012 at 22:14 comment added Michael Greinecker You can extend every partial order to a total order: en.wikipedia.org/wiki/Szpilrajn_extension_theorem
Jan 5, 2012 at 22:11 history edited expmat CC BY-SA 3.0
added 1 characters in body
Jan 5, 2012 at 22:04 history asked expmat CC BY-SA 3.0