Kripke–Platek set theory: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

8 November 2014

25 June 2013

24 August 2012

  • curprev 07:5207:52, 24 August 2012en>JRSpriggs 6,956 bytes +6,956 lead: "infinite set" is a better target than "infinity"