Set theory: Revision history

23 September 2013

• curprev 15:4815:48, 23 September 2013‎ imported>John Stephenson‎ m 24,486 bytes 0‎ moved Set theory/Draft to Set theory: citable version policy

2 July 2011

• curprev 13:4513:45, 2 July 2011‎ imported>Hayford Peirce‎ 24,486 bytes −1‎ changed hyphens to emdash -- now it *really* needs to be Re-Approved, hehe; but I wonder if it shouldn't be a colon instead....

11 May 2011

• curprev 14:2114:21, 11 May 2011‎ imported>John R. Brews‎ 24,487 bytes 0‎ →‎Zermelo-Fraenkel axioms: notational change
• curprev 14:1614:16, 11 May 2011‎ imported>John R. Brews‎ m 24,487 bytes +2‎ →‎Zermelo-Fraenkel axioms: typos
• curprev 13:5413:54, 11 May 2011‎ imported>John R. Brews‎ 24,485 bytes +24,485‎ spell out what ZF stands for; list the axioms; provide a source

30 May 2010

• curprev 16:4216:42, 30 May 2010‎ imported>D. Matt Innis‎ 22,815 bytes +1‎ null edit
• curprev 15:5415:54, 30 May 2010‎ imported>D. Matt Innis‎ m 22,814 bytes 0‎ Set theory moved to Set theory/Draft: approved

29 May 2010

• curprev 19:0719:07, 29 May 2010‎ imported>Peter Schmitt‎ 22,814 bytes +480‎ →‎Definition of a set: reinserting Tom' paragraph on empty set
• curprev 19:0019:00, 29 May 2010‎ imported>Peter Schmitt‎ m 22,301 bytes −33‎ rm references -- whether there should be references or not: there are no
• curprev 18:5518:55, 29 May 2010‎ imported>Peter Schmitt‎ 22,334 bytes +22,334‎ undo a few of Tom's changes
• curprev 11:3111:31, 29 May 2010‎ imported>Hayford Peirce‎ 22,901 bytes +969‎ →‎Relative consistency: which to that
• curprev 11:3011:30, 29 May 2010‎ imported>Hayford Peirce‎ 22,902 bytes +970‎ →‎ZF: which to that
• curprev 11:2911:29, 29 May 2010‎ imported>Hayford Peirce‎ 22,903 bytes −1‎ →‎Axiomatic set theory: which to that
• curprev 11:2811:28, 29 May 2010‎ imported>Hayford Peirce‎ 22,904 bytes +972‎ which to that
• curprev 11:2811:28, 29 May 2010‎ imported>Hayford Peirce‎ 22,905 bytes +973‎ →‎Set difference: which to that
• curprev 09:3309:33, 29 May 2010‎ imported>Tom Morris‎ 22,906 bytes +974‎ cleanup - headings are now set right, some links and some content additions - added references section despite lack of references; references need to be added!
• curprev 08:5008:50, 29 May 2010‎ imported>Tom Morris‎ m 21,939 bytes +6‎ s/naive/naïve/g

27 May 2010

• curprev 12:5712:57, 27 May 2010‎ imported>Mark Wainwright‎ m 21,933 bytes +1‎ 'elements' ('members' hasn't been defined yet)
• curprev 12:5612:56, 27 May 2010‎ imported>Mark Wainwright‎ m 21,932 bytes +2‎ Indent 'display' eqn
• curprev 12:0112:01, 27 May 2010‎ imported>Peter Schmitt‎ 21,930 bytes −1‎ →‎Set operations: same style for union, intersection, difference.