Set theory: Revision history

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

16 September 2009

• curprev 07:3007:30, 16 September 2009‎ imported>Mark Wainwright‎ m 21,651 bytes +2‎ Typo
• curprev 07:1507:15, 16 September 2009‎ imported>Mark Wainwright‎ m 21,649 bytes +18‎ Trivial clarifications

15 September 2009

• curprev 15:5015:50, 15 September 2009‎ imported>Mark Wainwright‎ m 21,631 bytes +2‎ Typos
• curprev 11:2311:23, 15 September 2009‎ imported>Mark Wainwright‎ 21,629 bytes +21,629‎ Complete new article, replacing a place-holder stub

17 June 2009

• curprev 16:0816:08, 17 June 2009‎ imported>Howard C. Berkowitz‎ 887 bytes +887‎ No edit summary
• curprev 16:0616:06, 17 June 2009‎ imported>Howard C. Berkowitz‎ 886 bytes +886‎ No edit summary
• curprev 16:0216:02, 17 June 2009‎ imported>Howard C. Berkowitz‎ 445 bytes +445‎ New page: '''Set theory''' is a branch of mathematics that deals with the grouping of objects into sets,<ref>{{citation | title = Set Theory | author = Felix Hausdorff | edition = 2nd | year = 1...