Set theory: Revision history

23 September 2013

• curprev 14:4814: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 12:4512: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 13:2113:21, 11 May 2011‎ imported>John R. Brews‎ 24,487 bytes 0‎ →‎Zermelo-Fraenkel axioms: notational change
• curprev 13:1613:16, 11 May 2011‎ imported>John R. Brews‎ m 24,487 bytes +2‎ →‎Zermelo-Fraenkel axioms: typos
• curprev 12:5412: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 15:4215:42, 30 May 2010‎ imported>D. Matt Innis‎ 22,815 bytes +1‎ null edit
• curprev 14:5414: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 18:0718:07, 29 May 2010‎ imported>Peter Schmitt‎ 22,814 bytes +480‎ →‎Definition of a set: reinserting Tom' paragraph on empty set
• curprev 18:0018: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 17:5517:55, 29 May 2010‎ imported>Peter Schmitt‎ 22,334 bytes +22,334‎ undo a few of Tom's changes
• curprev 10:3110:31, 29 May 2010‎ imported>Hayford Peirce‎ 22,901 bytes +969‎ →‎Relative consistency: which to that
• curprev 10:3010:30, 29 May 2010‎ imported>Hayford Peirce‎ 22,902 bytes +970‎ →‎ZF: which to that
• curprev 10:2910:29, 29 May 2010‎ imported>Hayford Peirce‎ 22,903 bytes −1‎ →‎Axiomatic set theory: which to that
• curprev 10:2810:28, 29 May 2010‎ imported>Hayford Peirce‎ 22,904 bytes +972‎ which to that
• curprev 10:2810:28, 29 May 2010‎ imported>Hayford Peirce‎ 22,905 bytes +973‎ →‎Set difference: which to that
• curprev 08:3308: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 07:5007:50, 29 May 2010‎ imported>Tom Morris‎ m 21,939 bytes +6‎ s/naive/naïve/g

27 May 2010

• curprev 11:5711:57, 27 May 2010‎ imported>Mark Wainwright‎ m 21,933 bytes +1‎ 'elements' ('members' hasn't been defined yet)
• curprev 11:5611:56, 27 May 2010‎ imported>Mark Wainwright‎ m 21,932 bytes +2‎ Indent 'display' eqn
• curprev 11:0111:01, 27 May 2010‎ imported>Peter Schmitt‎ 21,930 bytes −1‎ →‎Set operations: same style for union, intersection, difference.
• curprev 09:2309:23, 27 May 2010‎ imported>Mark Wainwright‎ m 21,902 bytes −29‎ Minor rewordings, see talk

25 May 2010

• curprev 07:3307:33, 25 May 2010‎ imported>Peter Schmitt‎ m 21,926 bytes −5‎ →‎Power set
• curprev 07:3307:33, 25 May 2010‎ imported>Peter Schmitt‎ 21,931 bytes +300‎ →‎Power set: historical correction
• curprev 07:0507:05, 25 May 2010‎ imported>Peter Schmitt‎ m 21,910 bytes 0‎ →‎Relative consistency: Gödel
• curprev 07:0007:00, 25 May 2010‎ imported>Peter Schmitt‎ m 21,910 bytes +19‎ →‎NF: set theory with a universal set: link and format
• curprev 06:5306:53, 25 May 2010‎ imported>Peter Schmitt‎ m 21,891 bytes +242‎ →‎ZF: links
• curprev 06:5006:50, 25 May 2010‎ imported>Peter Schmitt‎ m 21,852 bytes +72‎ →‎NBG: links
• curprev 06:4206:42, 25 May 2010‎ imported>Peter Schmitt‎ m 21,780 bytes +4‎ →‎Type theory: link
• curprev 06:4106:41, 25 May 2010‎ imported>Peter Schmitt‎ 21,776 bytes +125‎ →‎The axiom of Choice: link
• curprev 06:4006:40, 25 May 2010‎ imported>Peter Schmitt‎ 21,772 bytes +60‎ →‎ZF: typographix
• curprev 06:3706:37, 25 May 2010‎ imported>Peter Schmitt‎ m 21,760 bytes +3‎ →‎ZF: predicate p
• curprev 06:3206:32, 25 May 2010‎ imported>Peter Schmitt‎ m 21,760 bytes +3‎ →‎A note on axiom schemas: notation for predicate
• curprev 06:3006:30, 25 May 2010‎ imported>Peter Schmitt‎ m 21,757 bytes +45‎ →‎Axiomatic set theory: objects
• curprev 06:2706:27, 25 May 2010‎ imported>Peter Schmitt‎ 21,756 bytes +44‎ →‎Russell's Paradox: link
• curprev 06:2306:23, 25 May 2010‎ imported>Peter Schmitt‎ m 21,752 bytes 0‎ →‎Comprehension: replacing P and Q by p and q (P used for power set!)
• curprev 06:2006:20, 25 May 2010‎ imported>Peter Schmitt‎ 21,752 bytes +31‎ →‎Comprehension: predicate P depends on x
• curprev 06:1506:15, 25 May 2010‎ imported>Peter Schmitt‎ m 21,721 bytes +22‎ →‎Power set: copy edit
• curprev 06:1106:11, 25 May 2010‎ imported>Peter Schmitt‎ m 21,716 bytes +17‎ →‎Cardinality: link, formatting, 1 word
• curprev 06:0606:06, 25 May 2010‎ imported>Peter Schmitt‎ m 21,699 bytes −13‎ vertical space
• curprev 06:0106:01, 25 May 2010‎ imported>Peter Schmitt‎ m 21,712 bytes +2‎ →‎Naive set theory: vertical space
• curprev 06:0006:00, 25 May 2010‎ imported>Peter Schmitt‎ m 21,716 bytes +6‎ →‎Complement and universal set: formatting
• curprev 05:5605:56, 25 May 2010‎ imported>Peter Schmitt‎ m 21,710 bytes +59‎ →‎Set operations: reduce vertical space
• curprev 05:5405:54, 25 May 2010‎ imported>Peter Schmitt‎ m 21,711 bytes +60‎ →‎Set difference: notation (minus)
• curprev 05:5005:50, 25 May 2010‎ imported>Peter Schmitt‎ 21,683 bytes +32‎ →‎Elements and subsets: alternative notation
• curprev 05:4505:45, 25 May 2010‎ imported>Peter Schmitt‎ m 21,658 bytes +7‎ →‎History of set theory: two links
• curprev 05:3905:39, 25 May 2010‎ imported>Peter Schmitt‎ m 21,651 bytes 0‎ TOC

20 May 2010

• curprev 04:2704:27, 20 May 2010‎ imported>Mark Wainwright‎ m 21,637 bytes −15‎ Correct mis-attribution of Limitation of Size axiom

19 May 2010

• curprev 03:4503:45, 19 May 2010‎ imported>Peter Schmitt‎ m 21,648 bytes −4‎ →‎Comprehension: intersection and union
• curprev 03:4003:40, 19 May 2010‎ imported>Peter Schmitt‎ m 21,649 bytes −3‎ →‎Set difference: remove "of"

8 May 2010

• curprev 22:1822:18, 8 May 2010‎ imported>Mark Wainwright‎ m 21,652 bytes +1‎ Fix inconsistent notation