nLab constructive set theory (history)

June 13, 2025

• Current (diff)
  by Karl Schoenbaum on June 13, 2025 at 15:15:39.

November 6, 2023

• Revision 9 (diff)
  by Urs Schreiber on November 6, 2023 at 16:12:19.

November 27, 2022

• Revision 8 (diff)
  by Anonymous on November 27, 2022 at 23:39:32.

October 30, 2022

• Revision 7 (diff)
  by Urs Schreiber on October 30, 2022 at 12:41:41.

December 16, 2021

• Revision 6 (diff)
  by Urs Schreiber on December 16, 2021 at 08:00:06.

June 27, 2019

• Revision 5 (diff)
  by Urs Schreiber on June 27, 2019 at 16:33:52.
• Revision 4 (diff)
  by GrothenDitQue: on June 27, 2019 at 14:59:49.

July 21, 2015

• Revision 3 (diff)
  by Urs Schreiber on July 21, 2015 at 14:07:59.

October 26, 2014

• Revision 2 (diff)
  by Bas Spitters on October 26, 2014 at 16:22:48.

October 25, 2014

• Revision 1
  by Urs Schreiber on October 25, 2014 at 22:38:52.