Set theory: Revision history

17 October 2024

• curprev 12:0012:00, 17 October 2024‎ Suggestion Bot talk contribs‎ m 24,517 bytes +31‎ No edit summary

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.
• curprev 10:2310:23, 27 May 2010‎ imported>Mark Wainwright‎ m 21,902 bytes −29‎ Minor rewordings, see talk

25 May 2010

• curprev 08:3308:33, 25 May 2010‎ imported>Peter Schmitt‎ m 21,926 bytes −5‎ →‎Power set
• curprev 08:3308:33, 25 May 2010‎ imported>Peter Schmitt‎ 21,931 bytes +300‎ →‎Power set: historical correction
• curprev 08:0508:05, 25 May 2010‎ imported>Peter Schmitt‎ m 21,910 bytes 0‎ →‎Relative consistency: Gödel
• curprev 08:0008:00, 25 May 2010‎ imported>Peter Schmitt‎ m 21,910 bytes +19‎ →‎NF: set theory with a universal set: link and format
• curprev 07:5307:53, 25 May 2010‎ imported>Peter Schmitt‎ m 21,891 bytes +242‎ →‎ZF: links
• curprev 07:5007:50, 25 May 2010‎ imported>Peter Schmitt‎ m 21,852 bytes +72‎ →‎NBG: links
• curprev 07:4207:42, 25 May 2010‎ imported>Peter Schmitt‎ m 21,780 bytes +4‎ →‎Type theory: link
• curprev 07:4107:41, 25 May 2010‎ imported>Peter Schmitt‎ 21,776 bytes +125‎ →‎The axiom of Choice: link
• curprev 07:4007:40, 25 May 2010‎ imported>Peter Schmitt‎ 21,772 bytes +60‎ →‎ZF: typographix
• curprev 07:3707:37, 25 May 2010‎ imported>Peter Schmitt‎ m 21,760 bytes +3‎ →‎ZF: predicate p
• curprev 07:3207:32, 25 May 2010‎ imported>Peter Schmitt‎ m 21,760 bytes +3‎ →‎A note on axiom schemas: notation for predicate
• curprev 07:3007:30, 25 May 2010‎ imported>Peter Schmitt‎ m 21,757 bytes +45‎ →‎Axiomatic set theory: objects
• curprev 07:2707:27, 25 May 2010‎ imported>Peter Schmitt‎ 21,756 bytes +44‎ →‎Russell's Paradox: link
• curprev 07:2307: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 07:2007:20, 25 May 2010‎ imported>Peter Schmitt‎ 21,752 bytes +31‎ →‎Comprehension: predicate P depends on x
• curprev 07:1507:15, 25 May 2010‎ imported>Peter Schmitt‎ m 21,721 bytes +22‎ →‎Power set: copy edit
• curprev 07:1107:11, 25 May 2010‎ imported>Peter Schmitt‎ m 21,716 bytes +17‎ →‎Cardinality: link, formatting, 1 word
• curprev 07:0607:06, 25 May 2010‎ imported>Peter Schmitt‎ m 21,699 bytes −13‎ vertical space
• curprev 07:0107:01, 25 May 2010‎ imported>Peter Schmitt‎ m 21,712 bytes +2‎ →‎Naive set theory: vertical space
• curprev 07:0007:00, 25 May 2010‎ imported>Peter Schmitt‎ m 21,716 bytes +6‎ →‎Complement and universal set: formatting
• curprev 06:5606:56, 25 May 2010‎ imported>Peter Schmitt‎ m 21,710 bytes +59‎ →‎Set operations: reduce vertical space
• curprev 06:5406:54, 25 May 2010‎ imported>Peter Schmitt‎ m 21,711 bytes +60‎ →‎Set difference: notation (minus)
• curprev 06:5006:50, 25 May 2010‎ imported>Peter Schmitt‎ 21,683 bytes +32‎ →‎Elements and subsets: alternative notation
• curprev 06:4506:45, 25 May 2010‎ imported>Peter Schmitt‎ m 21,658 bytes +7‎ →‎History of set theory: two links
• curprev 06:3906:39, 25 May 2010‎ imported>Peter Schmitt‎ m 21,651 bytes 0‎ TOC

20 May 2010

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

19 May 2010

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